Search dblp for Publications

export results for "toc:db/conf/icalp/icalp76.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icalp/AltM76,
  author       = {Helmut Alt and
                  Kurt Mehlhorn},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Lower Bounds for the Space Complexity of Context-Free Recognition},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {338--354},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 10:58:24 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AltM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/ArnoldD76,
  author       = {Andr{\'{e}} Arnold and
                  Max Dauchet},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Bi-transductions de for{\^{e}}ts},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {74--86},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ArnoldD76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Bakker76,
  author       = {J. W. de Bakker},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Semantics and Termination of Nondeterministic Recursive Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {435--477},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Bakker76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Beauquier76,
  author       = {Joffroy Beauquier},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {G{\'{e}}n{\'{e}}rateurs alg{\'{e}}briques non-ambigus},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {66--73},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Beauquier76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BerryC76,
  author       = {G{\'{e}}rard Berry and
                  Bruno Courcelle},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Program Equivalence and Canonical Forms in Stable Discrete Interpretations},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {168--188},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BerryC76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BloniarzFM76,
  author       = {Peter A. Bloniarz and
                  Michael J. Fischer and
                  Albert R. Meyer},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {A Note on the Average Time to Compute Transitive Closures},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {425--434},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BloniarzFM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Brand76,
  author       = {Daniel Brand},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Proving Programs Incorrect},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {201--227},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Brand76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Cartwright76,
  author       = {Robert Cartwright},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {User-Defined Data Types as an Aid to Verifying {LISP} Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {228--256},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Cartwright76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Ehrich76,
  author       = {Hans{-}Dieter Ehrich},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Outline of an Algebraic Theory of Structured Objects},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {508--530},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Ehrich76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Emden76,
  author       = {Maarten H. van Emden},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Verification Conditions as Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {99--119},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Emden76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Fontet76,
  author       = {Max Fontet},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {A Linear Algorithm for Testing Isomorphism of Planar Graphs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {411--424},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Fontet76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/FriedmanW76,
  author       = {Daniel P. Friedman and
                  David S. Wise},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {{CONS} Should Not Evaluate its Arguments},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {257--284},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/FriedmanW76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Galil76,
  author       = {Zvi Galil},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {On Enumeration Procedures for Theorem Proving and for Integer Programming},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {355--381},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Galil76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/GillS76,
  author       = {John Gill and
                  Istv{\'{a}}n Simon},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Ink, Dirty-Tape Turing Machines, and Quasicomplexity Measures},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {285--306},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/GillS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Greif76,
  author       = {Irene Greif},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {On Proofs of Programs for Synchronization},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {494--507},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Greif76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Guessarian76,
  author       = {Ir{\`{e}}ne Guessarian},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Semantic Equivalence of Program Schemes and its Syntactic Characterization},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {189--200},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Guessarian76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HennessyA76,
  author       = {Matthew Hennessy and
                  Edward A. Ashcroft},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {The Semantics of Nondeterminism},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {478--493},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HennessyA76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kroger76,
  author       = {Fred Kr{\"{o}}ger},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Logical Rules of Natural Reasoning about Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {87--98},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kroger76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Leeuwen76,
  author       = {Jan van Leeuwen},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {On the Construction of Huffman Trees},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {382--410},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Leeuwen76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Linna76,
  author       = {Matti Linna},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {On omega-sets Associated with Context-Free Languages},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {1--19},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Linna76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Lipski76,
  author       = {Witold Lipski Jr.},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Informational Systems with Incomplete Information},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {120--130},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Lipski76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/LongoZ76,
  author       = {Giuseppe Longo and
                  Marisa Venturini Zilli},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {A Theory of Computation with an Identity Discriminator},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {147--167},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/LongoZ76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/McColl76,
  author       = {William F. McColl},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {The Depth of Boolean Functions},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {307--321},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/McColl76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Perrin76,
  author       = {Dominique Perrin},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Sur la longeur moyenne des codes pr{\'{e}}fixes},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {45--51},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Perrin76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Restivo76,
  author       = {Antonio Restivo},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {On a Family of Codes Related to Factorization of Cyclotomic Polynomials},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {38--44},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Restivo76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Sakarovitch76,
  author       = {Jacques Sakarovitch},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Sur les mono{\"{\i}}des syntactiques des langages alg{\'{e}}briques
                  d{\'{e}}terministes},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {52--65},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Sakarovitch76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Schnorr76,
  author       = {Claus{-}Peter Schnorr},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Optimal Algorithms for Self-Reducible Problems},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {322--337},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Schnorr76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Schwarz76,
  author       = {J. Schwarz},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Event Based Reasoning - {A} System for Proving Correct Termination
                  of Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {131--146},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Schwarz76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Sintzoff76,
  author       = {Michel Sintzoff},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Eliminating Blind Alleys from Backtrack Programs},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {531--557},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Sintzoff76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Soisalon-SoininenU76,
  author       = {Eljas Soisalon{-}Soininen and
                  Esko Ukkonen},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {A Characterization of LL(k) Languages},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {20--30},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Soisalon-SoininenU76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Valiant76,
  author       = {Leslie G. Valiant},
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {The Equivalence Problem for {D0L} Systems and its Decidability for
                  Binary Alphabets},
  booktitle    = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  pages        = {31--37},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Valiant76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icalp/1976,
  editor       = {S. Michaelson and
                  Robin Milner},
  title        = {Third International Colloquium on Automata, Languages and Programming,
                  University of Edinburgh, UK, July 20-23, 1976},
  publisher    = {Edinburgh University Press},
  year         = {1976},
  isbn         = {0-85224-308-1},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/1976.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.