Shilov, Nikolay V.. "AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC)".
Logic, Computation, Hierarchies, edited by Vasco Brattka, Hannes Diener and Dieter Spreen, Berlin, Boston: De Gruyter, 2014, pp. 297-324.
https://doi.org/10.1515/9781614518044.297Shilov, N. (2014). AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC). In V. Brattka, H. Diener & D. Spreen (Ed.),
Logic, Computation, Hierarchies (pp. 297-324). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781614518044.297Shilov, N. 2014. AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC). In: Brattka, V., Diener, H. and Spreen, D. ed.
Logic, Computation, Hierarchies. Berlin, Boston: De Gruyter, pp. 297-324.
https://doi.org/10.1515/9781614518044.297Shilov, Nikolay V.. "AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC)" In
Logic, Computation, Hierarchies edited by Vasco Brattka, Hannes Diener and Dieter Spreen, 297-324. Berlin, Boston: De Gruyter, 2014.
https://doi.org/10.1515/9781614518044.297Shilov N. AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC). In: Brattka V, Diener H, Spreen D (ed.)
Logic, Computation, Hierarchies. Berlin, Boston: De Gruyter; 2014. p.297-324.
https://doi.org/10.1515/9781614518044.297Copied to clipboard
