@incollection{Blum/93,
AUTHOR = {Blum, Manuel},
TITLE = {Program result checking: A new approach to making programs more reliable},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {1-14},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersson-Mattsson/93,
AUTHOR = {Andersson, Arne and Mattsson, Christer},
TITLE = {Dynamic interpolation search in $o(\log\log n)$ time},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {15-27},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frederickson/93c,
AUTHOR = {Frederickson, Greg N.},
TITLE = {Searching among intervals and compact routing tables},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {28-39},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lund-Yannakakis/93a,
AUTHOR = {Lund, Carsten and Yannakakis, Mihalis},
TITLE = {The approximation of maximum subgraph problems},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {40-51},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kann/93,
AUTHOR = {Kann, Viggo},
TITLE = {Polynomially bounded minimization problems which are hard to approximate},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {52-63},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Vazirani-Yannakakis/93,
AUTHOR = {Garg, Naveen and Vazirani, Vijay V. and Yannakakis, Mihalis},
TITLE = {Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {64-75},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Marathe-Hunt-Ravi/93,
AUTHOR = {Marathe, M.V. and Hunt III, H.B. and Ravi, S.S.},
TITLE = {The complexity of approximating PSPACE-complete problems for hierarchical specifications},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {76-87},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Czumaj-Gibbons/93,
AUTHOR = {Czumaj, Artur and Gibbons, Alan},
TITLE = {Problems on pairs of trees and the four colour problem of planar graphs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {88-101},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kalyanasundaram-Pruhs/93a,
AUTHOR = {Kalyanasundaram, Bala and Pruhs, Kirk R.},
TITLE = {Constructing competitive tours from local information},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {102-113},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=102},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Kloks-Kratsch/93,
AUTHOR = {Bodlaender, Hans and Kloks, Ton and Kratsch, Dieter},
TITLE = {Treewidth and pathwidth of permutation graphs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {114-125},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jaromczyk-Swiatek/93,
AUTHOR = {Jaromczyk, Jerzy W. and {\'S}wi{\c{a}}tek, Grzegorz},
TITLE = {A theory of even functionals and their algorithmic applications},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {126-136},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Flajolet-Golin/93,
AUTHOR = {Flajolet, Philippe and Golin, Mordecai},
TITLE = {Exact asymptotics of divide-and-conquer recurrences},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {137-149},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kozen-Zaks/93,
AUTHOR = {Kozen, Dexter and Zaks, Shmuel},
TITLE = {Optimal bounds for the change-making problem},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {150-161},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reif-Tate/93a,
AUTHOR = {Reif, John H. and Tate, Stephen R.},
TITLE = {The complexity of $N$-body simulation},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {162-176},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dillencourt-Smith/93,
AUTHOR = {Dillencourt, Michael B. and Smith, Warren D.},
TITLE = {A simple method for resolving degeneracies in Delaunay triangulations},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {177-188},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hemachandra/93,
AUTHOR = {Hemachandra, Lane A.},
TITLE = {Fault-tolerance and complexity},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {189-202},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yamamoto/93,
AUTHOR = {Yamamoto, Hiroaki},
TITLE = {Reversal-space trade-offs for simultaneous resource-bounded nondeterministic Turing machines},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {203-214},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Orponen/93,
AUTHOR = {Orponen, Pekka},
TITLE = {On the computational power of discrete Hopfield nets},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {215-226},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karpinski-Verbeek/93,
AUTHOR = {Karpinski, Marek and Verbeek, Rutger},
TITLE = {On randomized versus deterministic computation},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {227-240},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ablayev/93,
AUTHOR = {Ablayev, Farid},
TITLE = {Lower bounds for one-way probabilistic communication complexity},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {241-252},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=241},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hagerup-Mehlhorn-Munro/93,
AUTHOR = {Hagerup, Torben and Mehlhorn, Kurt and Munro, J. Ian},
TITLE = {Maintaining discrete probability distributions optimally},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {253-264},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Franklin-Yung/93,
AUTHOR = {Franklin, Matthew and Yung, Moti},
TITLE = {Secure and efficient off-line digital money},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {265-276},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Juedes-Lathrop-Lutz/93,
AUTHOR = {Juedes, David W. and Lathrop, James I. and Lutz, Jack H.},
TITLE = {Computational depth and reducibility},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {277-288},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baliga-Case/93,
AUTHOR = {Baliga, Ganesh and Case, John},
TITLE = {Learnability: Admissible, co-finite and hypersimple languages},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {289-300},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=289},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-Salomaa-Salomaa-Yu/93,
AUTHOR = {Jiang, Tao and Salomaa, Arto and Salomaa, Kai and Yu, Sheng},
TITLE = {Inclusion is undecidable for pattern languages},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {301-312},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ibarra-Jiang-Tran-Wang/93a,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Tran, Nicholas and Wang, Hui},
TITLE = {New decidability results concerning two-way counter machines and applications},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {313-324},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Michaux-Villemaire/93,
AUTHOR = {Michaux, Christian and Villemaire, Roger},
TITLE = {Cobham's theorem seen through B{\"u}chi's theorem},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {325-334},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ebinger-Muscholl/93,
AUTHOR = {Ebinger, Werner and Muscholl, Anca},
TITLE = {Logical definability on infinite traces},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {335-346},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=335},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wilke/93b,
AUTHOR = {Wilke, Thomas},
TITLE = {Algebras for classifying regular tree languages and an application to frontier testability},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {347-358},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gupta/93,
AUTHOR = {Gupta, Arvind},
TITLE = {Finite automata as characterizations of minor closed tree families},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {359-370},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dolev-Malki/93,
AUTHOR = {Dolev, Danny and Malki, Dalia},
TITLE = {On distributed algorithms in a broadcast domain},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {371-387},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chlebus-Diks-Pelc/93,
AUTHOR = {Chlebus, Bogdan S. and Diks, Krzysztof and Pelc, Andrzej},
TITLE = {Sparse networks supporting efficient reliable broadcasting},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {388-397},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=388},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meyer_auf_der_Heide-Oesterdiekhoff-Wanka/93a,
AUTHOR = {Meyer auf der Heide, Friedhelm and Oesterdiekhoff, Brigitte and Wanka, Rolf},
TITLE = {Strongly adaptive token distribution},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {398-409},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=398},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schonhage/93,
AUTHOR = {Sch{\"o}nhage, Arnold},
TITLE = {Fast parallel computations of characteristic polynomials by Leverrier's power sum method adapted to fields of finite characteristic},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {410-417},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=410},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kirousis/93,
AUTHOR = {Kirousis, Lefteris M.},
TITLE = {Fast parallel constraint satisfaction},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {418-429},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=418},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Simon/93,
AUTHOR = {Simon, Imre},
TITLE = {The product of rational languages},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {430-444},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=430},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ochmanski-Wacrenier/93,
AUTHOR = {Ochma{\'n}ski, Edward and Wacrenier, Pierre-Andr{\'e}},
TITLE = {On regular compatibility of semi-commutations},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {445-456},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=445},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dumas/93,
AUTHOR = {Dumas, Ph.},
TITLE = {Algebraic aspects of B-regular series},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {457-468},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=457},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cohen-Fredman/93,
AUTHOR = {Cohen, David M. and Fredman, Michael L.},
TITLE = {Products of finite state machines with full coverage},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {469-477},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=469},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Senizergues/93,
AUTHOR = {S{\'e}nizergues, G{\'e}raud},
TITLE = {An effective version of Stallings' theorem in the case of context-free groups},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {478-495},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
KEYWORDS = {context-free groups, pushdown automata, Cayley graph, Thue-systems, complexity, graph of groups},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=478},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lepisto/93,
AUTHOR = {Lepist{\"o}, Arto},
TITLE = {On the power of periodic iteration of morphisms},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {496-506},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mignosi-Seebold/93,
AUTHOR = {Mignosi, Filippo and S{\'e}{\'e}bold, Patrice},
TITLE = {If a D0L language is $k$-power free then it is circular},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {507-518},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=507},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jategaonkar-Meyer/93,
AUTHOR = {Jategaonkar, Lalita and Meyer, Albert R.},
TITLE = {Deciding true concurrency equivalences on finite safe nets},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {519-531},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=519},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vogler/93b,
AUTHOR = {Vogler, Walter},
TITLE = {Timed testing of concurrent systems},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {532-543},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Havelung-Larsen/93,
AUTHOR = {Havelung, Klaus and Larsen, Kim G.},
TITLE = {The fork calculus},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {544-557},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Inverardi-Priami-Yankelevich/93,
AUTHOR = {Inverardi, Paolo and Priami, Corrado and Yankelevich, Daniel},
TITLE = {Extended transition systems for parametric bisimulation},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {558-569},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=558},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brown-Gurr/93,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Temporal logic and categories of Petri nets},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {570-581},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=570},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lodaya-Ramanujam-Thiagarajan/93,
AUTHOR = {Lodaya, Kamal and Ramanujam, R. and Thiagarajan, P.S.},
TITLE = {Decidability of a partial order based temporal logic},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {582-592},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=582},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar-Steffen/93,
AUTHOR = {Hungar, Hardi and Steffen, Bernhard},
TITLE = {Local model checking for context-free processes},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {593-605},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=593},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abiteboul-Vianu/93,
AUTHOR = {Abiteboul, Serge and Vianu, Victor},
TITLE = {Computing on structures},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {606-620},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=606},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Contejean/93a,
AUTHOR = {Contejean, Evelyne},
TITLE = {A partial solution for $D$-unification based on a reduction to $AC1$-unification},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {621-632},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=621},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Codish-Falaschi-Marriott-Winsborough/93,
AUTHOR = {Codish, Michael and Falaschi, Moreno and Marriott, Kim and Winsborough, William},
TITLE = {Efficient analysis of concurrent constraint logic programs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {633-644},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=633},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{di_Cosmo-Kesner/93,
AUTHOR = {di Cosmo, Roberto and Kesner, Delia},
TITLE = {A confluent reduction for the extensional typed $\lambda$-calculus with pairs, sums, recursion and terminal object},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {645-656},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=645},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbanera-Fernandez/93,
AUTHOR = {Barbanera, Franco and Fern{\'a}ndez, Maribel},
TITLE = {Modularity of termination and confluence in combinations of rewrite systems with $\lambda_{\omega}$},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {657-668},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=657},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bracho-Droste/93,
AUTHOR = {Bracho, Felipe and Droste, Manfred},
TITLE = {From domains to automata with concurrency},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {669-681},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}