Jump to ContentJump to Main Navigation
Show Summary Details
In This Section

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

Logic, Computation, Hierarchies

Edited by Brattka, Vasco / Diener, Hannes / Spreen, Dieter

DE GRUYTER

2014

Pages: 297–324

ISBN (Online): 9781614518044

DOI (Chapter): https://doi.org/10.1515/9781614518044.297

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

Comments (0)

Please log in or register to comment.
Log in