Search Sciweavers | Sciweavers

3440 search results - page 67 / 688

» Logics For Context-Free Languages

119

click to vote

AGP
1994
IEEE

88views Artificial Intelligence» more AGP 1994»

A Logic for Encapsulation in Object-Oriented Languages

15 years 10 months ago

Download integra.cs.wayne.edu

Michele Bugliesi, Hasan M. Jamil

claim paper

Read More »

127

click to vote

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

15 years 10 months ago

Download users.ecs.soton.ac.uk

Ulrich Nitsche

claim paper

Read More »

127

click to vote

ELP
1992

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

15 years 10 months ago

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

134

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 10 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

125

click to vote

VLDB
1993
ACM

116views Database» more VLDB 1993»

A Domain-theoretic Approach to Integrating Functional and Logic Database Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers