Results 261 to 270 of about 1,151,417 (307)

Temporal Logic of Programs

EATCS Monographs on Theoretical Computer Science, 1987
F. Kröger
semanticscholar   +1 more source

Temporal and Modal Logic

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1991
E. Emerson
semanticscholar   +1 more source

Propositional Logic

Quentin Charatan, Aaron Kans
  +4 more sources

Functional Constructions between reaction Systems and Propositional Logic

International Journal of Foundations of Computer Science, 2013
A. Salomaa
semanticscholar   +1 more source

Propositional Logic

2011
Daizhan Cheng, Hongsheng Qi, Zhiqiang Li
  +4 more sources

Rewriting with Linear Inferences in Propositional Logic

International Conference on Rewriting Techniques and Applications, 2013
Anupam Das
semanticscholar   +1 more source

The Theory and Applications of Generalized Complex Fuzzy Propositional Logic

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2013
D. Tamir, Mark Last, A. Kandel
semanticscholar   +1 more source

Using Propositional Logic for Requirements Verification of Service Workflow

IEEE Transactions on Industrial Informatics, 2012
Lida Xu, Wattana Viriyasitavat, Puripant Ruchikachorn, Andrew P. Martin   +3 more
semanticscholar   +1 more source

Propositional Logic

2000
Cordelia Hall, John O’Donnell
openaire   +1 more source

Propositional primal logic with disjunction

Journal of Logic and Computation, 2014
L. Beklemishev, Y. Gurevich
semanticscholar   +1 more source