Results 281 to 290 of about 2,584,296 (324)
Some of the next articles are maybe not open access.
A Computational Approach to Logical Statements
The Two-Year College Mathematics Journal, 1983J. N. Boyd, P. N. Raychowdhury
openaire +1 more source
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification, 1987D. Gabbay
semanticscholar +1 more source
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus
2011 IEEE Ninth European Conference on Web Services, 2011P. Papapanagiotou, Jacques D. Fleuriot
semanticscholar +1 more source

