MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logical Objects." – sorted by Relevance.

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

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

1,438 documents found, showing 1 through 10. Next 10 →

ATOM

Frege, Boolos, and Logical Objects
by David J. Anderson, Edward N. Zalta
…Frege, Boolos, and Logical Objects ∗ David J. Anderson Stanford University david…
Add To MetaCart

Semantics and Logic of Object Calculi
by Bernhard Reus, Thomas Streicher — 2002 — Theoretical Computer Science
…Semantics and Logic of Object Calculi Bernhard Reus COGS, University of Sussex Falmer, Brighton…
Cited by 13 (2 self) – Add To MetaCart

A Logic for Object-Z
by Graeme Smith, Graeme Smith — 1994 — Proceedings of the 9th Annual Z-User Meeting
… Logic for Object-Z December 1994 A Logic for Object-Z Graeme Smith Software Verification Research…
Cited by 24 (8 self) – Add To MetaCart

An Elementary Logic for Object Specification and Verification
by Stefan Conrad, Hans-dieter Ehrich — 1994 — Workshop Formale Grundlagen fur den Entwurf von Informationssystemen, Tutzing
…An Elementary Logic for Object Specification and Verification Stefan Conrad & Hans-Dieter Ehrich…
Cited by 5 (3 self) – Add To MetaCart

Semantics of Inheritance in Logical Object Specifications
by Stefan Brass, Udo W. Lipeck — 1991 — Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD'91), 411--430, LNCS 566
… in this version 19.12.1991) Semantics of Inheritance in Logical Object Specifications # Stefan Brass Udo W…
Cited by 37 (18 self) – Add To MetaCart

SILO: Integrating Logic in Objects for Knowledge Representation and Reasoning
by I. Hatzilygeroudis — 1996 — International Journal on AI Tools
… been a large number of systems that integrate logic and objects (frames or classes) for knowledge…
Cited by 2 (2 self) – Add To MetaCart

A Logic for Object-Z (Additional Rules)
by Graeme Smith, Graeme Smith — 1995
… Queensland 4072 Australia TECHNICAL REPORT No. 95-26 A Logic for Object-Z (Additional Rules) Graeme Smith…
Cited by 3 (2 self) – Add To MetaCart

Eijk. Decidable navigation logics for object structures
by Frank S. De Boer, Rogier M. Van Eijk — 2001 — In CSL’01
…Decidable Navigation Logics for Object Structures Frank S. de Boer and Rogier M. van Eijk…
Cited by 1 (0 self) – Add To MetaCart

A Logic of Object-Oriented Programs
by Martin Abadi, K. Rustan M. Leino, Martn Abadi, Martn Abadi, K. Rustan, K. Rustan, M. Leino, M. Leino — 1998
…September 15, 1998 SRC Research Report 161 A logic of object-oriented programs Martn Abadi and K…
Cited by 133 (1 self) – Add To MetaCart

On A Temporal Logic For Object-Based Systems
by Dino Distefano Joost-Pieter, Joost-pieter Katoen, Arend Rensink — Formal Methods for Open Objectbased Distributed Systems
…ON A TEMPORAL LOGIC FOR OBJECT-BASED SYSTEMS # Dino Distefano, Joost-Pieter Katoen, and Arend…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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