Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2014

AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC)

Nikolay V. Shilov