Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By Springer-Verlag

3540123172

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A fast sorting algorithm for VLSI

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036925 ◽

2006 ◽

pp. 408-419 ◽

Author(s):

Hans -Werner Lang ◽

Manfred Schimmler ◽

Hartmut Schmeck ◽

Heiko Schröder

Keyword(s):

Sorting Algorithm

Download Full-text

Factoring multivariate integral polynomials

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036929 ◽

2006 ◽

pp. 458-465 ◽

Author(s):

A. K. Lenstra

Download Full-text

Enumeration of success patterns in logic programs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036944 ◽

2006 ◽

pp. 640-652 ◽

Author(s):

Taisuke Sato ◽

Hisao Tamaki

Keyword(s):

Download Full-text

A hardware semantics based on temporal intervals

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036915 ◽

2006 ◽

pp. 278-291 ◽

Author(s):

Joseph Halpern ◽

Zohar Manna ◽

Ben Moszkowski

Keyword(s):

Temporal Intervals

Download Full-text

Power domains and predicate transformers: A topological view

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036946 ◽

2006 ◽

pp. 662-675 ◽

Author(s):

M. B. Smyth

Keyword(s):

Predicate Transformers

Download Full-text

Initial index: A new complexity function for languages

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036911 ◽

2006 ◽

pp. 226-236 ◽

Author(s):

J. Gabarro

Keyword(s):

Complexity Function

Download Full-text

A propos d'une conjecture de F. Dejean sur les répétitions dans les mots

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036939 ◽

2006 ◽

pp. 585-596 ◽

Author(s):

Jean -Jacques Pansiot

Download Full-text

Searchability in merging and implicit data structures

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036934 ◽

2006 ◽

pp. 527-535 ◽

Author(s):

J. Ian Munro ◽

Patricio V. Poblete

Keyword(s):

Data Structures ◽

Download Full-text

Processes of place/transition-nets

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036914 ◽

2006 ◽

pp. 264-277 ◽

Author(s):

U. Goltz ◽

W. Reisig

Download Full-text

On the relationship of CCS and CSP

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0036899 ◽

2006 ◽

pp. 83-96 ◽

Author(s):

Stephen D. Brookes

Keyword(s):

Relationship Of ◽

The Relationship

Download Full-text