✦ LIBER ✦

A Decision Procedure for the First Order Theory of Real Addition with Order

✍ Scribed by Ferrante, Jeanne; Rackoff, Charles

Book ID: 118161161
Publisher: Society for Industrial and Applied Mathematics
Year: 1975
Tongue: English
Weight: 929 KB
Volume: 4
Category: Article
ISSN: 0097-5397
DOI: 10.1137/0204006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient decision procedure for the

An efficient decision procedure for the theory of rational order

✍ Jeanne Ferrante; James R. Geiser 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 906 KB

A Decision Procedure for Nonperiodic Seq

A Decision Procedure for Nonperiodic Sequents of the First-Order Linear Temporal Logic

✍ R. Pliuškevičius 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 152 KB

A decision procedure for the order of re

A decision procedure for the order of regular events

✍ Kosaburo Hashiguchi 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 415 KB

The Theory of Contexts for First Order a

The Theory of Contexts for First Order and Higher Order Abstract Syntax

✍ Furio Honsell; Marino Miculan; Ivan Scagnetto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A continuum theory for first-order phase

A continuum theory for first-order phase transitions based on the balance of structure order

✍ M. Fabrizio; C. Giorgi; A. Morro 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB 👁 1 views

## Abstract First‐order phase transitions are modelled by a non‐homogeneous, time‐dependent scalar‐valued order parameter or phase field. The time dependence of the order parameter is viewed as arising from a balance law of the structure order. The gross motion is disregarded and hence the body is

Turing machines with linear alternation,

Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories

✍ Hugo Volger 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 467 KB