Sciweavers

4217 search results - page 47 / 844

» Computational indistinguishability logic

65

JFLP
2000

44views more JFLP 2000»

A Game-based Architecture for Developing Interactive Components in Computational Logic

15 years 6 months ago

A Game-based Architecture for Developing Interactive Components in Computational Logic

Download scholar.lib.vt.edu

Kostas Stathis

claim paper

Read More »

121

AI
1999
Springer

113views Artificial Intelligence» more AI 1999»

Computing with Default Logic

15 years 6 months ago

Computing with Default Logic

Download www.cs.uky.edu

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Trusz...

claim paper

Read More »

87

JFP
1998

36views more JFP 1998»

Computational Types from a Logical Perspective

15 years 6 months ago

Computational Types from a Logical Perspective

Download perso.ens-lyon.fr

P. N. Benton, Gavin M. Bierman, Valeria de Paiva

claim paper

Read More »

89

MSCS
2002

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

15 years 6 months ago

Local Realizability Toposes and a Modal Logic for Computability

Download www.hss.cmu.edu

Steven Awodey, Lars Birkedal, Dana S. Scott

claim paper

Read More »

191

LPAR
2010
Springer

159views Automated Reasoning» more LPAR 2010»

Logic and Computation in a Lambda Calculus with Intersection and Union Types

15 years 4 months ago

Logic and Computation in a Lambda Calculus with Intersection and Union Types

Download web.cs.wpi.edu

We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...

Daniel J. Dougherty, Luigi Liquori

claim paper

Read More »

« Prev « First page 47 / 844 Last » Next »