Search Sciweavers | Sciweavers

3319 search results - page 48 / 664

» Subshifts, Languages and Logic

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

14 years 1 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

claim paper

Read More »

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

14 years 1 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

click to vote

AGP
1994
IEEE

88views Artificial Intelligence» more AGP 1994»

A Logic for Encapsulation in Object-Oriented Languages

14 years 1 months ago

Download integra.cs.wayne.edu

Michele Bugliesi, Hasan M. Jamil

claim paper

Read More »

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

14 years 1 months ago

Download www.thi.uni-hannover.de

Clemens Lautemann, Thomas Schwentick, Denis Th&eac...

claim paper

Read More »

click to vote

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers