Search Sciweavers | Sciweavers

4617 search results - page 103 / 924

» Automation of Diagrammatic Reasoning

138

click to vote

LLL
1999
Springer

263views Automated Reasoning» more LLL 1999»

Learning the Logic of Simple Phonotactics

15 years 10 months ago

Download odur.let.rug.nl

Erik F. Tjong Kim Sang, John Nerbonne

claim paper

Read More »

134

click to vote

LICS
1998
IEEE

95views Automated Reasoning» more LICS 1998»

A Theory of Recursive Domains with Applications to Concurrency

15 years 10 months ago

Download www.brics.dk

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

claim paper

Read More »

131

click to vote

ICLP
1998
Springer

92views Automated Reasoning» more ICLP 1998»

On the Representation and Management of Finite Sets in CLP Languages

15 years 10 months ago

Download users.dimi.uniud.it

Agostino Dovier, Carla Piazza, Gianfranco Rossi, E...

claim paper

Read More »

134

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

15 years 10 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

claim paper

Read More »

119

click to vote

LICS
1997
IEEE

111views Automated Reasoning» more LICS 1997»

Bisimulation for Labelled Markov Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers