Search Sciweavers | Sciweavers

3385 search results - page 48 / 677

» Language, Logic, and the Brain

140

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 »

141

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 »

141

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

Download ijcai.org

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...

claim paper

Read More »

108

click to vote

ACL
1989

62views Computational Linguistics» more ACL 1989»

Logical Forms in the Core Language Engine

15 years 7 months ago

Download acl.ldc.upenn.edu

Hiyan Alshawi, Jan van Eijck

claim paper

Read More »

click to vote

ENTCS
2008

74views more ENTCS 2008»

An RDF Query Language based on Logic Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers