Sciweavers

19 search results - page 1 / 4

» wollic 2009

13

WOLLIC
2009
Springer

117views Artificial Intelligence» more WOLLIC 2009»

Knowledge, Time, and Logical Omniscience

14 years 22 days ago

Knowledge, Time, and Logical Omniscience

Download math.gc.cuny.edu

Ren-June Wang

claim paper

Read More »

12

WOLLIC
2009
Springer

88views Artificial Intelligence» more WOLLIC 2009»

Mathematical Logic for Life Science Ontologies

14 years 22 days ago

Mathematical Logic for Life Science Ontologies

Download lc2009.fmi.uni-sofia.bg

Carsten Lutz, Frank Wolter

claim paper

Read More »

10

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

14 years 22 days ago

Observational Completeness on Abstract Interpretation

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

10

WOLLIC
2009
Springer

143views Artificial Intelligence» more WOLLIC 2009»

The Arrow Calculus as a Quantum Programming Language

14 years 22 days ago

The Arrow Calculus as a Quantum Programming Language

Download www.indiana.edu

Juliana Kaizer Vizzotto, André Rauber Du Bo...

claim paper

Read More »

16

WOLLIC
2009
Springer

136views Artificial Intelligence» more WOLLIC 2009»

Recognizability in the Simply Typed Lambda-Calculus

14 years 22 days ago

Recognizability in the Simply Typed Lambda-Calculus

Download www.labri.fr

Abstract. We deﬁne a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This deﬁnition is based on ﬁnite mo...

Sylvain Salvati

claim paper

Read More »

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