Results 51 to 60 of about 1,546,334 (124)

A first order logic for specification of timed algorithms: basic properties and a decidable class

, 2001
Danièle Beauquier, Anatol Slissenko
openalex   +1 more source

Uncertain fuzzy values still in the framework of first-order logic

, 2002
Olga Pons, Juan-Carlos Cubero, Antonio González, M.A. Vila   +3 more
openalex   +1 more source

First-Order Logic with Two Variables and Unary Temporal Logic

, 2002
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke   +2 more
openalex   +1 more source

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables [PDF]

, 2005
Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev   +2 more
openalex   +1 more source

First-Order Modal Logic with an 'Actually' Operator [PDF]

, 2005
Yannis Stephanou
openalex   +1 more source

First-order Logic as a Constraint Programming Language

, 2002
Krzysztof R. Apt, C. F. M. Vermeulen
openalex   +2 more sources

Progress in silicon-based reconfigurable and programmable all-optical signal processing chips. [PDF]

Front Optoelectron
Xu J, Dong W, Huang Q, Zhang Y, Yin Y, Zhao Z, Zeng D, Gao X, Gu W, Yang Z, Li H, Han X, Geng Y, Zhai K, Chen B, Fu X, Lei L, Wu X, Dong J, Su Y, Li M, Liu J, Zhu N, Guo X, Zhou H, Wen H, Qiu K, Zhang X.   +27 more
europepmc   +1 more source