Sciweavers

3319 search results - page 13 / 664

» Subshifts, Languages and Logic

27

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

14 years 24 days ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

27

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

14 years 23 days ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

19

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

14 years 22 days ago

Parallelism in Logic Programming

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

Kazunori Ueda

claim paper

Read More »

24

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

14 years 22 days ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

27

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

14 years 18 days 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 »