Sciweavers

4666 search results - page 7 / 934

» Equations on Timed Languages

75

CTRS
1987

41views Theoretical Computer Science» more CTRS 1987»

Solving Goals in Equational Languages

15 years 6 months ago

Solving Goals in Equational Languages

Download www.cs.tau.ac.il

Nachum Dershowitz, G. Sivakumar

claim paper

Read More »

92

DLT
2007

93views Theoretical Computer Science» more DLT 2007»

What Do We Know About Language Equations?

15 years 4 months ago

What Do We Know About Language Equations?

Download www.math.muni.cz

Michal Kunc

claim paper

Read More »

79

MCU
2007

97views Hardware» more MCU 2007»

A Simple P-Complete Problem and Its Representations by Language Equations

15 years 4 months ago

A Simple P-Complete Problem and Its Representations by Language Equations

Download www.univ-orleans.fr

Alexander Okhotin

claim paper

Read More »

98

DLT
2001

90views Theoretical Computer Science» more DLT 2001»

The Equational Theory of Fixed Points with Applications to Generalized Language Theory

15 years 4 months ago

The Equational Theory of Fixed Points with Applications to Generalized Language Theory

Download teacode.com

Zoltán Ésik

claim paper

Read More »

175

CAV
2008
Springer

170views Hardware» more CAV 2008»

Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations

15 years 5 months ago

Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations

Download www.cs.cmu.edu

Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...

Himanshu Jain, Edmund M. Clarke, Orna Grumberg

claim paper

Read More »

« Prev « First page 7 / 934 Last » Next »