Search Sciweavers | Sciweavers

4617 search results - page 104 / 924

» Automation of Diagrammatic Reasoning

131

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

15 years 10 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

click to vote

LICS
1997
IEEE

84views Automated Reasoning» more LICS 1997»

Complete Cuboidal Sets in Axiomatic Domain Theory

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

claim paper

Read More »

117

click to vote

TIME
1997
IEEE

72views Automated Reasoning» more TIME 1997»

Similarity of Event Sequences

15 years 10 months ago

Download www.lans.ece.utexas.edu

d Abstract) Heikki Mannila and Pirjo Ronkainen

Heikki Mannila, Pirjo Ronkainen

claim paper

Read More »

157

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

15 years 10 months ago

Download www.dsc.ufcg.edu.br

Sônia Fernandes Silva, Ulrich Schiel, Tizian...

claim paper

Read More »

132

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers