Search Sciweavers | Sciweavers

3319 search results - page 50 / 664

» Subshifts, Languages and Logic

128

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

15 years 10 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

103

click to vote

FLAIRS
2008

73views Artificial Intelligence» more FLAIRS 2008»

Categorial Grammars, Combinatory Logic and the Korean Language Processing

15 years 8 months ago

Download www.aaai.org

Juyeon Kang, Jean-Pierre Desclés

claim paper

Read More »

137

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

15 years 8 months ago

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

137

click to vote

PLANX
2007

73views Programming Languages» more PLANX 2007»

XCentric: A Logic-Programming Language for XML Processing

15 years 7 months ago

Download www.dcc.fc.up.pt

Jorge Coelho, Mário Florido

claim paper

Read More »

136

click to vote

IJCAI
1993

109views Artificial Intelligence» more IJCAI 1993»

Logical Specification of Real-Time Granular Systems in an Object Oriented Language

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers