Sciweavers

3319 search results - page 13 / 664

» Subshifts, Languages and Logic

67

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 2 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

78

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 2 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

58

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

15 years 2 months ago

Parallelism in Logic Programming

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

Kazunori Ueda

claim paper

Read More »

75

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

15 years 2 months ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

71

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

15 years 2 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 »

« Prev « First page 13 / 664 Last » Next »