Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Logic, Computation, Hierarchies

Ed. by Brattka, Vasco / Diener, Hannes / Spreen, Dieter

Series:Ontos Mathematical Logic 4

eBook (PDF)
Publication Date:
September 2014
Copyright year:
2014
ISBN
978-1-61451-804-4
See all formats and pricing

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

Shilov, Nikolay V.

Citation Information

Nikolay V. Shilov (2014). AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC). In Logic, Computation, Hierarchies (pp. 297–324). https://doi.org/10.1515/9781614518044.297

Book DOI: https://doi.org/10.1515/9781614518044

Online ISBN: 9781614518044

Get Permission

Comments (0)

Please log in or register to comment.
Log in