Sciweavers

2465 search results - page 41 / 493

» Automata on Linear Orderings

32

ISSAC
2000
Springer

122views Mathematics» more ISSAC 2000»

Linear differential equations, iterative logarithms and orderings on monomial differential extensions

13 years 11 months ago

Linear differential equations, iterative logarithms and orderings on monomial differential extensions

Download www.lix.polytechnique.fr

Anne Fredet

claim paper

Read More »

26

LICS
1997
IEEE

113views Automated Reasoning» more LICS 1997»

Linear Higher-Order Pre-Unification

13 years 11 months ago

Linear Higher-Order Pre-Unification

Download www.cs.cmu.edu

Iliano Cervesato, Frank Pfenning

claim paper

Read More »

17

ICALP
2010
Springer

135views Programming Languages» more ICALP 2010»

Linear Orders in the Pushdown Hierarchy

13 years 11 months ago

Linear Orders in the Pushdown Hierarchy

Download igm.univ-mlv.fr

Laurent Braud, Arnaud Carayol

claim paper

Read More »

21

AMCS
2008

170views Mathematics» more AMCS 2008»

Controllability and Observability of Linear Discrete-Time Fractional-Order Systems

13 years 7 months ago

Controllability and Observability of Linear Discrete-Time Fractional-Order Systems

Download matwbn.icm.edu.pl

Said Guermah, Said Djennoune, Maamar Bettayeb

claim paper

Read More »

12

CORR
2010
Springer

45views Education» more CORR 2010»

Algebraic Linear Orderings

13 years 7 months ago

Algebraic Linear Orderings

Download www.inf.u-szeged.hu

Stephen L. Bloom, Zoltán Ésik

claim paper

Read More »

« Prev « First page 41 / 493 Last » Next »