Search Sciweavers | Sciweavers

4573 search results - page 95 / 915

» Automated Reasoning

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

15 years 7 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 7 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

click to vote

TIME
1997
IEEE

72views Automated Reasoning» more TIME 1997»

Similarity of Event Sequences

15 years 7 months ago

Download www.lans.ece.utexas.edu

d Abstract) Heikki Mannila and Pirjo Ronkainen

Heikki Mannila, Pirjo Ronkainen

claim paper

Read More »

130

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

15 years 7 months ago

Download www.dsc.ufcg.edu.br

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

claim paper

Read More »

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers