Sciweavers

8 search results - page 1 / 2

» lics 1995

14

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 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 »

11

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

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

13 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 »

13

LICS
1995
IEEE

73views Automated Reasoning» more LICS 1995»

The Stone Gamut: A Coordinatization of Mathematics

13 years 8 months ago

The Stone Gamut: A Coordinatization of Mathematics

Download boole.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

8

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

13 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 »

11

LICS
1995
IEEE

102views Automated Reasoning» more LICS 1995»

Control Structures

13 years 8 months ago

Control Structures

Download www.ablongman.com

Alex Mifsud, Robin Milner, A. John Power

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »