scientific article; zbMATH DE number 1980915
From MaRDI portal
Publication:4428289
zbMath1023.03018MaRDI QIDQ4428289
Krzysztof R. Apt, C. F. M. Vermeulen
Publication date: 15 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140019.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Classical first-order logic (03B10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
The complexity of propositional closed world reasoning and circumscription ⋮ Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete ⋮ Kernel-LEAF: A logic plus functional language ⋮ Institutions for logic programming ⋮ Comparative metric semantics for concurrent PROLOG ⋮ Proof methods of declarative properties of definite programs ⋮ Multimodal logic programming ⋮ Attacking Fair-Exchange Protocols
This page was built for publication:
