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

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

15 years 6 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

15 years 6 months 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

15 years 6 months 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers