Sciweavers

2585 search results - page 65 / 517

» Automating Coherent Logic

21

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 3 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

31

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

14 years 3 months ago

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

30

CSL
2004
Springer

98views Automated Reasoning» more CSL 2004»

On Proof Nets for Multiplicative Linear Logic with Units

14 years 3 months ago

On Proof Nets for Multiplicative Linear Logic with Units

Download www.loria.fr

Lutz Straßburger, François Lamarche

claim paper

Read More »

23

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 3 months ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

24

KR
2004
Springer

92views Automated Reasoning» more KR 2004»

Weak Nonmonotonic Probabilistic Logics

14 years 3 months ago

Weak Nonmonotonic Probabilistic Logics

Download www.kr.org

Thomas Lukasiewicz

claim paper

Read More »

« Prev « First page 65 / 517 Last » Next »