Search Sciweavers | Sciweavers

815 search results - page 12 / 163

» Algebraic Recognizability of Languages

click to vote

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

15 years 1 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 1 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 1 months ago

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

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 1 months ago

Download research.microsoft.com

Erik Meijer

claim paper

Read More »

click to vote

COMPASS
1995

173views Programming Languages» more COMPASS 1995»

Combining Algebraic and Set-Theoretic Specifications

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers