MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The logical approach to programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A temporal-logic approach to programming with dependent types and higher-order encodings
by Adam Poswolsky, Carsten Schürmann — 2005
…Yale University Department of Computer Science A Temporal-Logic Approach to Programming…
Cited by 1 (0 self) – Add To MetaCart

An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information
by Alexei A. Morozov, Yuri V. Obukhov — 2001
…1 An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information…
Cited by 6 (6 self) – Add To MetaCart

Non-Terminating Processes in the Situation Calculus
by Giuseppe De Giacomo, Eugenia Ternovskaia, Ray Reiter — 1997 — In Proceedings of the AAAI'97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and
… same logic. This approach to program proofs has the advantage of logical uniformity…
Cited by 5 (3 self) – Add To MetaCart

Composing Specifications for Coordination
by Montangero C. Semini L, Carlo Montangero, L. Semini — 1999 — Proceedings of the Third International Conference on Coordination Models and Languages (Coordination'99), volume 1594 of Lecture Notes in Computer Science
… methodology based on a logical approach. Program properties are expressed in Unity, properties…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB