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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540542339, 9783540475163

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving known solutions is hard

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

10.1007/3-540-54233-7_149 ◽

1991 ◽

pp. 381-392 ◽

Cited By ~ 2

Author(s):

Desh Ranjan ◽

Suresh Chari ◽

Pankaj Rohatgi

Download Full-text

A confluent reduction for the λ-calculus with surjective pairing and terminal object

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

10.1007/3-540-54233-7_142 ◽

1991 ◽

pp. 291-302 ◽

Cited By ~ 12

Author(s):

Pierre-Louis Curien ◽

Roberto Cosmo

Keyword(s):

Terminal Object

Download Full-text

Balancing order and chaos in image generation

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

10.1007/3-540-54233-7_167 ◽

1991 ◽

pp. 600-614 ◽

Cited By ~ 3

Author(s):

Karel Culik ◽

Simant Dube

Keyword(s):

Image Generation

Download Full-text

Complete axiomatizations of some quotient term algebras

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

10.1007/3-540-54233-7_156 ◽

1991 ◽

pp. 469-480 ◽

Cited By ~ 5

Author(s):

Hubert Comon

Download Full-text

Uniform ideals and strictness analysis

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

10.1007/3-540-54233-7_124 ◽

1991 ◽

pp. 47-59 ◽

Cited By ~ 5

Author(s):

Christine Ernoult ◽

Alan Mycroft

Keyword(s):

Strictness Analysis

Download Full-text

Satisfiability of systems of ordinal notations with the subterm property is decidable

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

10.1007/3-540-54233-7_155 ◽

1991 ◽

pp. 455-468 ◽

Cited By ~ 20

Author(s):

Jean-Pierre Jouannaud ◽

Mitsuhiro Okada

Keyword(s):

Ordinal Notations

Download Full-text

On-line algorithms for weighted bipartite matching and stable marriages

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

10.1007/3-540-54233-7_178 ◽

1991 ◽

pp. 728-738 ◽

Cited By ~ 6

Author(s):

Samir Khuller ◽

Stephen G. Mitchell ◽

Vijay V. Vazirani

Keyword(s):

Bipartite Matching ◽

Stable Marriages ◽

On Line

Download Full-text

On the power of multiple reads in a chip

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

10.1007/3-540-54233-7_175 ◽

1991 ◽

pp. 697-706

Author(s):

Pavol Ďuriš ◽

Zvi Galil

Download Full-text

An efficient NC algorithm for finding Hamiltonian cycles in dense directed graphs

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

10.1007/3-540-54233-7_153 ◽

1991 ◽

pp. 429-440

Author(s):

Martin Fürer ◽

Balaji Raghavachari

Keyword(s):

Directed Graphs ◽

Hamiltonian Cycles

Download Full-text

Extensional embedding of a strongly stable model of PCF

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

10.1007/3-540-54233-7_123 ◽

1991 ◽

pp. 35-46 ◽

Cited By ~ 5

Author(s):

Antonio Bucciarelli ◽

Thomas Ehrhard

Keyword(s):

Stable Model

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Improving known solutions is hard

A confluent reduction for the λ-calculus with surjective pairing and terminal object

Balancing order and chaos in image generation

Complete axiomatizations of some quotient term algebras

Uniform ideals and strictness analysis

Satisfiability of systems of ordinal notations with the subterm property is decidable

On-line algorithms for weighted bipartite matching and stable marriages

On the power of multiple reads in a chip

An efficient NC algorithm for finding Hamiltonian cycles in dense directed graphs

Extensional embedding of a strongly stable model of PCF

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