✦ LIBER ✦

Reasoning with first order nondeterministic specifications

✍ Scribed by Beata Konikowska; Marcin Białasik

Book ID: 105931097
Publisher: Springer-Verlag
Year: 1999
Tongue: English
Weight: 177 KB
Volume: 36
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050165

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving correctness with respect to nond

Proving correctness with respect to nondeterministic safety specifications

✍ A.P. Sistla 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 680 KB

First-order reasoning for higher-order c

First-order reasoning for higher-order concurrency

✍ Vasileios Koutavas; Matthew Hennessy 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 965 KB

First-Order Specifications of Programmab

First-Order Specifications of Programmable Data Types

✍ Mirkowska, Grazyna; Salwicki, Andrzej; Srebrny, Marian; Tarlecki, Andrzej 📂 Article 📅 2001 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 160 KB

Reasoning about taxonomies in first-orde

Reasoning about taxonomies in first-order logic

✍ David Thau; Bertram Ludäscher 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 841 KB

First-Order Reasoning and Primitive Recu

First-Order Reasoning and Primitive Recursive Natural Number Notations

✍ David Isles 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

Intrinsic reasoning about functional pro

Intrinsic reasoning about functional programs I: first order theories

✍ Daniel Leivant 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 259 KB