Sciweavers

12745 search results - page 121 / 2549

» Automating test automation

108

Voted

LACL
1997
Springer

94views Automated Reasoning» more LACL 1997»

Underspecification in Type-Logical Grammars

15 years 8 months ago

Underspecification in Type-Logical Grammars

Download wwwhome.cs.utwente.nl

Dirk Heylen

claim paper

Read More »

124

LICS
1997
IEEE

113views Automated Reasoning» more LICS 1997»

Linear Higher-Order Pre-Unification

15 years 8 months ago

Linear Higher-Order Pre-Unification

Download www.cs.cmu.edu

Iliano Cervesato, Frank Pfenning

claim paper

Read More »

124

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 8 months ago

Complete Proof Systems for First Order Interval Temporal Logic

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

114

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

15 years 8 months ago

A Typed Calculus of Synchronous Processes

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

116

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 8 months ago

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Download fpl.cs.depaul.edu

Alan Jeffrey

claim paper

Read More »

« Prev « First page 121 / 2549 Last » Next »