Sciweavers

4617 search results - page 16 / 924

» Automation of Diagrammatic Reasoning

75

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 4 months ago

A Fully Abstract May Testing Semantics for Concurrent Objects

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

78

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 4 months ago

Calibrating Computational Feasibility by Abstraction Rank

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

86

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 4 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

70

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

15 years 4 months ago

Tensed Ontology Based on Simple Partial Logic

Download www.kyy.saitama-u.ac.jp

Daisuke Kachi

claim paper

Read More »

72

TIME
2002
IEEE

118views Automated Reasoning» more TIME 2002»

Performance of Querying Temporal Attributes in Object-Relational Databases

15 years 4 months ago

Performance of Querying Temporal Attributes in Object-Relational Databases

Download www.dbs.uni-hannover.de

Carsten Kleiner, Udo W. Lipeck

claim paper

Read More »

« Prev « First page 16 / 924 Last » Next »