Sciweavers

3385 search results - page 14 / 677

» Language, Logic, and the Brain

23

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

13 years 11 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

15

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

13 years 11 months ago

Parallelism in Logic Programming

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

20

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

13 years 11 months ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

24

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

13 years 11 months ago

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

Download roots.iai.uni-bonn.de

Daniel Speicher, Malte Appeltauer, Günter Kni...

claim paper

Read More »

18

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

13 years 11 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

« Prev « First page 14 / 677 Last » Next »