Sciweavers

4573 search results - page 31 / 915

» Automated Reasoning

130

KGC
1997
Springer

201views Automated Reasoning» more KGC 1997»

The Undecidability of Simultaneous Rigid E-Unification with Two Variables

15 years 8 months ago

The Undecidability of Simultaneous Rigid E-Unification with Two Variables

Download research.microsoft.com

Margus Veanes

claim paper

Read More »

102

LICS
1994
IEEE

90views Automated Reasoning» more LICS 1994»

Finitary Fairness

15 years 8 months ago

Finitary Fairness

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

97

Voted

TIME
1994
IEEE

100views Automated Reasoning» more TIME 1994»

Propagating Possibilistic Temporal Constraints

15 years 8 months ago

Propagating Possibilistic Temporal Constraints

Download www2.cs.uregina.ca

Rasiah Loganantharaj

claim paper

Read More »

148

TIME
1994
IEEE

153views Automated Reasoning» more TIME 1994»

The Expressive Power of the English Temporal Preposition System

15 years 8 months ago

The Expressive Power of the English Temporal Preposition System

Download www2.cs.uregina.ca

Ian E. Pratt, David S. Brée

claim paper

Read More »

101

CCL
1994
Springer

102views Automated Reasoning» more CCL 1994»

Constraints for Polymorphic Behaviours of Concurrent ML

15 years 8 months ago

Constraints for Polymorphic Behaviours of Concurrent ML

Download www.daimi.au.dk

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

« Prev « First page 31 / 915 Last » Next »