Search Sciweavers | Sciweavers

4370 search results - page 32 / 874

» Algebra of Logic Programming

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

14 years 1 months ago

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

claim paper

Read More »

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

14 years 1 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

click to vote

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

14 years 28 days ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

click to vote

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

14 years 28 days ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

FP
1992

105views Formal Methods» more FP 1992»

Hazard Algebra and the Design of Asynchronous Automata

14 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers