Results 241 to 250 of about 16,840,789 (262)
Some of the next articles are maybe not open access.

Related searches:

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic

Fractal and Fractional, 2022
Chunna Zhao   +2 more
exaly  

Concerning the semantic consequence relation in first-order temporal logic

Theoretical Computer Science, 1986
Andrzej Szalas
exaly  

Plurals and Second-Order Logic

2021
Salvatore Florio   +2 more
exaly  

Where First-Order and Monadic Second-Order Logic Coincide

ACM Transactions on Computational Logic, 2016
Martin Grohé
exaly  

The Logic of Finite Order

Notre Dame Journal of Formal Logic, 2012
Simon Hewitt
exaly  

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

International Journal of General Systems, 2000
Qin Keyun
exaly  

Reasoning about taxonomies in first-order logic

Ecological Informatics, 2007
Bertram Ludäscher, David Thau
exaly  

Home - About - Disclaimer - Privacy