default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Albert R. Meyer
@inproceedings{DBLP:conf/birthday/Meyer08,
author = {Albert R. Meyer},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Reminiscences},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {39--45},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_2},
doi = {10.1007/978-3-540-78127-1\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Meyer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StockmeyerM02,
author = {Larry J. Stockmeyer and
Albert R. Meyer},
title = {Cosmological lower bound on the circuit complexity of a small problem
in logic},
journal = {J. {ACM}},
volume = {49},
number = {6},
pages = {753--784},
year = {2002},
url = {https://doi.org/10.1145/602220.602223},
doi = {10.1145/602220.602223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/StockmeyerM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/MeyerR02,
author = {Albert R. Meyer and
Alexander Rabinovich},
title = {Valid Identity Problem for Shuffle Regular Expressions},
journal = {J. Autom. Lang. Comb.},
volume = {7},
number = {1},
pages = {109--125},
year = {2002},
url = {https://doi.org/10.25596/jalc-2002-109},
doi = {10.25596/JALC-2002-109},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/MeyerR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/JimM96,
author = {Trevor Jim and
Albert R. Meyer},
title = {Full Abstraction and the Context Lemma},
journal = {{SIAM} J. Comput.},
volume = {25},
number = {3},
pages = {663--696},
year = {1996},
url = {https://doi.org/10.1137/S0097539791224212},
doi = {10.1137/S0097539791224212},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/JimM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JategaonkarM96,
author = {Lalita Jategaonkar and
Albert R. Meyer},
title = {Deciding True Concurrency Equivalences on Safe, Finite Nets},
journal = {Theor. Comput. Sci.},
volume = {154},
number = {1},
pages = {107--143},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00132-8},
doi = {10.1016/0304-3975(95)00132-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JategaonkarM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/MeyerR96,
author = {Albert R. Meyer and
Alexander Moshe Rabinovich},
editor = {Doron A. Peled and
Vaughan R. Pratt and
Gerard J. Holzmann},
title = {A solution of an interleaving decision problem by a partial order
technique},
booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, July 24-26, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {29},
pages = {203--211},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/029/11},
doi = {10.1090/DIMACS/029/11},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/MeyerR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SeiferasM95,
author = {Joel I. Seiferas and
Albert R. Meyer},
title = {Characterizations of Realizable Space Complexities},
journal = {Ann. Pure Appl. Log.},
volume = {73},
number = {2},
pages = {171--190},
year = {1995},
url = {https://doi.org/10.1016/0168-0072(94)00026-Y},
doi = {10.1016/0168-0072(94)00026-Y},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SeiferasM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BloomIM95,
author = {Bard Bloom and
Sorin Istrail and
Albert R. Meyer},
title = {Bisimulation Can't be Traced},
journal = {J. {ACM}},
volume = {42},
number = {1},
pages = {232--268},
year = {1995},
url = {https://doi.org/10.1145/200836.200876},
doi = {10.1145/200836.200876},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BloomIM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Meyer95,
author = {Albert R. Meyer},
editor = {Ernst W. Mayr and
Claude Puech},
title = {Concurrent Process Equivalences: Some Decision Problems (Abstract)},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {349},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_86},
doi = {10.1007/3-540-59042-0\_86},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Meyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Meyer94,
author = {Albert R. Meyer},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Observing Truly Concurrent Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {886},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_129},
doi = {10.1007/3-540-57887-0\_129},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Meyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TannenM93,
author = {Val Tannen and
Albert R. Meyer},
title = {Conservativity of Equational Theories in Typed Lambda Calculi},
journal = {Fundam. Informaticae},
volume = {19},
number = {1/2},
pages = {1--49},
year = {1993},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TannenM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JategaonkarM93,
author = {Lalita Jategaonkar and
Albert R. Meyer},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary
Report)},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {519--531},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_99},
doi = {10.1007/3-540-56939-1\_99},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JategaonkarM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JategaonkarM93,
author = {Lalita Jategaonkar and
Albert R. Meyer},
title = {Self-Synchronization of Concurrent Processes (Preliminary Report)},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {409--417},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287567},
doi = {10.1109/LICS.1993.287567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JategaonkarM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomM92,
author = {Bard Bloom and
Albert R. Meyer},
title = {Experimenting with Process Equivalence},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {223--237},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90050-P},
doi = {10.1016/0304-3975(92)90050-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JategaonkarM92,
author = {Lalita Jategaonkar and
Albert R. Meyer},
editor = {Rance Cleaveland},
title = {Testing Equivalence for Petri Nets with Action Refinement: Preliminary
Report},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {17--31},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084780},
doi = {10.1007/BFB0084780},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/JategaonkarM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/JimM91,
author = {Trevor Jim and
Albert R. Meyer},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Full Abstraction and the Context Lemma},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {131--151},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_44},
doi = {10.1007/3-540-54415-1\_44},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/JimM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1991,
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1},
doi = {10.1007/3-540-54415-1},
isbn = {3-540-54415-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruceMM90,
author = {Kim B. Bruce and
Albert R. Meyer and
John C. Mitchell},
title = {The Semantics of Second-Order Lambda Calculus},
journal = {Inf. Comput.},
volume = {85},
number = {1},
pages = {76--134},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90044-I},
doi = {10.1016/0890-5401(90)90044-I},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BruceMM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CosmadakisMR90,
author = {Stavros S. Cosmadakis and
Albert R. Meyer and
Jon G. Riecke},
title = {Completeness for typed lazy inequalities},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {312--320},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113757},
doi = {10.1109/LICS.1990.113757},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CosmadakisMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BloomM89,
author = {Bard Bloom and
Albert R. Meyer},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Remark on Bisimulation Between Probabilistic Processes},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {26--40},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_4},
doi = {10.1007/3-540-51237-3\_4},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BloomM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1989,
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3},
doi = {10.1007/3-540-51237-3},
isbn = {3-540-51237-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MeyerR88,
author = {Albert R. Meyer and
Jon G. Riecke},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Continuations May be Unreasonable},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {63--71},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62685},
doi = {10.1145/62678.62685},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MeyerR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Meyer88,
author = {Albert R. Meyer},
title = {Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices
by Stavros S. Cosmadakis},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {236--253},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5123},
doi = {10.1109/LICS.1988.5123},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Meyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerS88,
author = {Albert R. Meyer and
Kurt Sieber},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Towards Fully Abstract Semantics for Local Variables},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {191--203},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73577},
doi = {10.1145/73560.73577},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/MeyerS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BloomIM88,
author = {Bard Bloom and
Sorin Istrail and
Albert R. Meyer},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Bisimulation Can't Be Traced},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {229--239},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73580},
doi = {10.1145/73560.73580},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BloomIM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenM87,
author = {Val Tannen and
Albert R. Meyer},
title = {Polymorphism is conservative over simple types (Preliminary Report)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {7--17},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TannenM87,
author = {Val Tannen and
Albert R. Meyer},
title = {Computable Values Can Be Classical},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {238--245},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41646},
doi = {10.1145/41625.41646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/TannenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerMMS87,
author = {Albert R. Meyer and
John C. Mitchell and
Eugenio Moggi and
Richard Statman},
title = {Empty Types in Polymorphic Lambda Calculus},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {253--262},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41648},
doi = {10.1145/41625.41648},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MeyerMMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/HalpernLMW86,
author = {Joseph Y. Halpern and
Michael C. Loui and
Albert R. Meyer and
Daniel Weise},
title = {On Time versus Space {III}},
journal = {Math. Syst. Theory},
volume = {19},
number = {1},
pages = {13--28},
year = {1986},
url = {https://doi.org/10.1007/BF01704903},
doi = {10.1007/BF01704903},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/HalpernLMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Meyer86,
author = {Albert R. Meyer},
title = {Floyd-Hoare Logic Defines Semantics: Preliminary Version},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {44--48},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Meyer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerR86,
author = {Albert R. Meyer and
Mark B. Reinhold},
title = {"Type" Is Not {A} Type},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {287--295},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512671},
doi = {10.1145/512644.512671},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MeyerR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ParikhCHM85,
author = {Rohit Parikh and
Ashok K. Chandra and
Joseph Y. Halpern and
Albert R. Meyer},
title = {Equations Between Regular Terms and an Application to Process Logic},
journal = {{SIAM} J. Comput.},
volume = {14},
number = {4},
pages = {935--942},
year = {1985},
url = {https://doi.org/10.1137/0214066},
doi = {10.1137/0214066},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ParikhCHM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Breazu-TannenM85,
author = {Val Breazu{-}Tannen and
Albert R. Meyer},
editor = {Rohit Parikh},
title = {Lambda Calculus with Constrained Types (Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {23--40},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_3},
doi = {10.1007/3-540-15648-8\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Breazu-TannenM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerW85,
author = {Albert R. Meyer and
Mitchell Wand},
editor = {Rohit Parikh},
title = {Continuation Semantics in Typed Lambda-Calculi (Summary)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {219--224},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_17},
doi = {10.1007/3-540-15648-8\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MitchellM85,
author = {John C. Mitchell and
Albert R. Meyer},
editor = {Rohit Parikh},
title = {Second-Order Logical Relations (Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {225--236},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_18},
doi = {10.1007/3-540-15648-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MitchellM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SistlaCFNM84,
author = {A. Prasad Sistla and
Edmund M. Clarke and
Nissim Francez and
Albert R. Meyer},
title = {Can Message Buffers Be Axiomatized in Linear Temporal Logic?},
journal = {Inf. Control.},
volume = {63},
number = {1/2},
pages = {88--112},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80043-1},
doi = {10.1016/S0019-9958(84)80043-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SistlaCFNM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MeyerT84,
author = {Albert R. Meyer and
Jerzy Tiuryn},
title = {Equivalences among Logics of Programs},
journal = {J. Comput. Syst. Sci.},
volume = {29},
number = {2},
pages = {160--170},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90027-8},
doi = {10.1016/0022-0000(84)90027-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MeyerT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HalpernMT84,
author = {Joseph Y. Halpern and
Albert R. Meyer and
Boris A. Trakhtenbrot},
editor = {Ken Kennedy and
Mary S. Van Deusen and
Larry Landweber},
title = {The Semantics of Local Storage, or What Makes the Free-List Free?},
booktitle = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
of Programming Languages, Salt Lake City, Utah, USA, January 1984},
pages = {245--257},
publisher = {{ACM} Press},
year = {1984},
url = {https://doi.org/10.1145/800017.800536},
doi = {10.1145/800017.800536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HalpernMT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/BruceM84,
author = {Kim B. Bruce and
Albert R. Meyer},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {The Semantics of Second Order Polymorphic Lambda Calculus},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {131--144},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_6},
doi = {10.1007/3-540-13346-1\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BruceM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MeyerM83,
author = {Albert R. Meyer and
John C. Mitchell},
title = {Termination Assertions for Recursive Programs: Completeness and Axiomatic
Definability},
journal = {Inf. Control.},
volume = {56},
number = {1/2},
pages = {112--138},
year = {1983},
url = {https://doi.org/10.1016/S0019-9958(83)80053-9},
doi = {10.1016/S0019-9958(83)80053-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MeyerM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer83,
author = {Albert R. Meyer},
editor = {R. E. A. Mason},
title = {Understanding {ALGOL:} The View of a Recent Convert to Denotational
Semantics},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {951--961},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Meyer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/TrakhtenbrotHM83,
author = {Boris A. Trakhtenbrot and
Joseph Y. Halpern and
Albert R. Meyer},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {From Denotational to Operational and Axiomatic Semantics for ALGOL-like
Languages: an Overview},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {474--500},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_382},
doi = {10.1007/3-540-12896-4\_382},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/TrakhtenbrotHM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Meyer82,
author = {Albert R. Meyer},
title = {What is a Model of the Lambda Calculus?},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {87--122},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80087-9},
doi = {10.1016/S0019-9958(82)80087-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Meyer82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MeyerH82,
author = {Albert R. Meyer and
Joseph Y. Halpern},
title = {Axiomatic Definitions of Programming Languages: {A} Theoretical Assessment},
journal = {J. {ACM}},
volume = {29},
number = {2},
pages = {555--576},
year = {1982},
url = {https://doi.org/10.1145/322307.322324},
doi = {10.1145/322307.322324},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MeyerH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FischerMP82,
author = {Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
title = {Omega(n log n) Lower Bounds on Length of Boolean Formulas},
journal = {{SIAM} J. Comput.},
volume = {11},
number = {3},
pages = {416--427},
year = {1982},
url = {https://doi.org/10.1137/0211033},
doi = {10.1137/0211033},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/FischerMP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeyerW82,
author = {Albert R. Meyer and
Karl Winklmann},
title = {Expressing Program Looping in Regular Dynamic Logic},
journal = {Theor. Comput. Sci.},
volume = {18},
pages = {301--323},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90071-8},
doi = {10.1016/0304-3975(82)90071-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MeyerW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerM82,
author = {Albert R. Meyer and
John C. Mitchell},
editor = {Richard A. DeMillo},
title = {Axiomatic Definability and Completeness for Recursive Programs},
booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
pages = {337--346},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582153.582188},
doi = {10.1145/582153.582188},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MeyerM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MayrM81,
author = {Ernst W. Mayr and
Albert R. Meyer},
title = {The Complexity of the Finite Containment Problem for Petri Nets},
journal = {J. {ACM}},
volume = {28},
number = {3},
pages = {561--576},
year = {1981},
url = {https://doi.org/10.1145/322261.322271},
doi = {10.1145/322261.322271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MayrM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MeyerP81,
author = {Albert R. Meyer and
Rohit Parikh},
title = {Definability in Dynamic Logic},
journal = {J. Comput. Syst. Sci.},
volume = {23},
number = {2},
pages = {279--298},
year = {1981},
url = {https://doi.org/10.1016/0022-0000(81)90016-7},
doi = {10.1016/0022-0000(81)90016-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MeyerP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GreifM81,
author = {Irene Greif and
Albert R. Meyer},
title = {Specifying the Semantics of while Programs: {A} Tutorial and Critique
of a Paper by Hoare and Lauer},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {3},
number = {4},
pages = {484--507},
year = {1981},
url = {https://doi.org/10.1145/357146.357151},
doi = {10.1145/357146.357151},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GreifM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MeyerSM81,
author = {Albert R. Meyer and
Robert S. Streett and
Grazyna Mirkowska},
editor = {Shimon Even and
Oded Kariv},
title = {The Deducibility Problem in Propositional Dynamic Logic},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {238--248},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_20},
doi = {10.1007/3-540-10843-2\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MeyerSM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerT81,
author = {Albert R. Meyer and
Jerzy Tiuryn},
editor = {Dexter Kozen},
title = {A Note On Equivalences Among Logics of Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {282--299},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025787},
doi = {10.1007/BFB0025787},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HalpernM81,
author = {Joseph Y. Halpern and
Albert R. Meyer},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Axiomatic Definitions of Programming Languages, {II}},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {139--148},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567548},
doi = {10.1145/567532.567548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HalpernM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraHMP81,
author = {Ashok K. Chandra and
Joseph Y. Halpern and
Albert R. Meyer and
Rohit Parikh},
title = {Equations between Regular Terms and an Application to Process Logic},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {384--390},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802493},
doi = {10.1145/800076.802493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ChandraHMP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/RivestMKWS80,
author = {Ronald L. Rivest and
Albert R. Meyer and
Daniel J. Kleitman and
Karl Winklmann and
Joel Spencer},
title = {Coping with Errors in Binary Search Procedures},
journal = {J. Comput. Syst. Sci.},
volume = {20},
number = {3},
pages = {396--404},
year = {1980},
url = {https://doi.org/10.1016/0022-0000(80)90014-8},
doi = {10.1016/0022-0000(80)90014-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/RivestMKWS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrussM80,
author = {Anna R. Bruss and
Albert R. Meyer},
title = {On Time-Space Classes and their Relation to the Theory of Real Addition},
journal = {Theor. Comput. Sci.},
volume = {11},
pages = {59--69},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90036-5},
doi = {10.1016/0304-3975(80)90036-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrussM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerH80,
author = {Albert R. Meyer and
Joseph Y. Halpern},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Axiomatic Definitions of Programming Languages: {A} Theoretical Assessment},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {203--212},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567466},
doi = {10.1145/567446.567466},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MeyerH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MeyerP80,
author = {Albert R. Meyer and
Rohit Parikh},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {Definability in Dynamic Logic},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {1--7},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804646},
doi = {10.1145/800141.804646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/MeyerP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerSM79,
author = {Albert R. Meyer and
Robert S. Streett and
Grazyna Mirkowska},
editor = {Erwin Engeler},
title = {The Deducibility Problem in Propositional Dynamic Logic},
booktitle = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
series = {Lecture Notes in Computer Science},
volume = {125},
pages = {12--22},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-11160-3\_2},
doi = {10.1007/3-540-11160-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerSM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GreifM79,
author = {Irene Greif and
Albert R. Meyer},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Specifying Programming Language Semantics},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {180--189},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567769},
doi = {10.1145/567752.567769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GreifM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MeyerW79,
author = {Albert R. Meyer and
Karl Winklmann},
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {On the Expressive Power of Dynamic Logic (Preliminary Report)},
booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
pages = {167--175},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800135.804410},
doi = {10.1145/800135.804410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/MeyerW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/MeyerG79,
author = {Albert R. Meyer and
Irene Greif},
editor = {Klaus Weihrauch},
title = {Can Partial Correctness Assertions Specify Programming Language Semantics?},
booktitle = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
March 26-28, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {67},
pages = {25--26},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09118-1\_3},
doi = {10.1007/3-540-09118-1\_3},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/tcs/MeyerG79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SeiferasFM78,
author = {Joel I. Seiferas and
Michael J. Fischer and
Albert R. Meyer},
title = {Separating Nondeterministic Time Complexity Classes},
journal = {J. {ACM}},
volume = {25},
number = {1},
pages = {146--167},
year = {1978},
url = {https://doi.org/10.1145/322047.322061},
doi = {10.1145/322047.322061},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SeiferasFM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RivestMKWS78,
author = {Ronald L. Rivest and
Albert R. Meyer and
Daniel J. Kleitman and
Karl Winklmann and
Joel Spencer},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Coping with Errors in Binary Search Procedures (Preliminary Report)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {227--232},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804351},
doi = {10.1145/800133.804351},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RivestMKWS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BrussM78,
author = {Anni R. Bruss and
Albert R. Meyer},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On Time-Space Classes and Their Relation to the Theory of Real Addition},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {233--239},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804352},
doi = {10.1145/800133.804352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BrussM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HarelMP77,
author = {David Harel and
Albert R. Meyer and
Vaughan R. Pratt},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {Computability and Completeness in Logics of Programs (Preliminary
Report)},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {261--268},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803416},
doi = {10.1145/800105.803416},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HarelMP77.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 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BloniarzFM76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CardozaLM76,
author = {E. Cardoza and
Richard J. Lipton and
Albert R. Meyer},
editor = {Ashok K. Chandra and
Detlef Wotschke and
Emily P. Friedman and
Michael A. Harrison},
title = {Exponential Space Complete Problems for Petri Nets and Commutative
Semigroups: Preliminary Report},
booktitle = {Proceedings of the 8th Annual {ACM} Symposium on Theory of Computing,
May 3-5, 1976, Hershey, Pennsylvania, {USA}},
pages = {50--54},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800113.803630},
doi = {10.1145/800113.803630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CardozaLM76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerMP75,
author = {Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {Lower Bounds on the Size of Boolean Formulas: Preliminary Report},
booktitle = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
pages = {37--44},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800116.803751},
doi = {10.1145/800116.803751},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerMP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MollM74,
author = {Robert Moll and
Albert R. Meyer},
title = {Honest Bounds for Complexity Classes of Recursive Functions},
journal = {J. Symb. Log.},
volume = {39},
number = {1},
pages = {127--138},
year = {1974},
url = {https://doi.org/10.2307/2272353},
doi = {10.2307/2272353},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MollM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BauerBFMP73,
author = {M. Bauer and
D. Brand and
Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
title = {A note on disjunctive form tautologies},
journal = {{SIGACT} News},
volume = {5},
number = {2},
pages = {17--20},
year = {1973},
url = {https://doi.org/10.1145/1811123.1811124},
doi = {10.1145/1811123.1811124},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/BauerBFMP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LindM73,
author = {John Lind and
Albert R. Meyer},
title = {A characterization of log-space computable functions},
journal = {{SIGACT} News},
volume = {5},
number = {3},
pages = {26--29},
year = {1973},
url = {https://doi.org/10.1145/1008293.1008295},
doi = {10.1145/1008293.1008295},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/LindM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SeiferasFM73,
author = {Joel I. Seiferas and
Michael J. Fischer and
Albert R. Meyer},
title = {Refinements of the Nondeterministic Time and Space Hierarchies},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.25},
doi = {10.1109/SWAT.1973.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SeiferasFM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/StockmeyerM73,
author = {Larry J. Stockmeyer and
Albert R. Meyer},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {Word Problems Requiring Exponential Time: Preliminary Report},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {1--9},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804029},
doi = {10.1145/800125.804029},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/StockmeyerM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LynchMF73,
author = {Nancy A. Lynch and
Albert R. Meyer and
Michael J. Fischer},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {Sets that Don't Help},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {130--134},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804043},
doi = {10.1145/800125.804043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LynchMF73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Meyer72,
author = {Albert R. Meyer},
title = {Program Size in Restricted Programming Languages},
journal = {Inf. Control.},
volume = {21},
number = {4},
pages = {382--394},
year = {1972},
url = {https://doi.org/10.1016/S0019-9958(72)90592-X},
doi = {10.1016/S0019-9958(72)90592-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Meyer72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FischerMR72,
author = {Patrick C. Fischer and
Albert R. Meyer and
Arnold L. Rosenberg},
title = {Real-Time Simulation of Multihead Tape Units},
journal = {J. {ACM}},
volume = {19},
number = {4},
pages = {590--607},
year = {1972},
url = {https://doi.org/10.1145/321724.321726},
doi = {10.1145/321724.321726},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FischerMR72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MeyerF72,
author = {Albert R. Meyer and
Patrick C. Fischer},
title = {Computational Speed-Up by Effective Operators},
journal = {J. Symb. Log.},
volume = {37},
number = {1},
pages = {55--68},
year = {1972},
url = {https://doi.org/10.2307/2272545},
doi = {10.2307/2272545},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MeyerF72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerM72,
author = {Albert R. Meyer and
Robert Moll},
title = {Honest Bounds for Complexity Classes of Recursive Functions},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {61--66},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.8},
doi = {10.1109/SWAT.1972.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerM72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerS72,
author = {Albert R. Meyer and
Larry J. Stockmeyer},
title = {The Equivalence Problem for Regular Expressions with Squaring Requires
Exponential Space},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {125--129},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.29},
doi = {10.1109/SWAT.1972.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerS72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MeyerB72,
author = {Albert R. Meyer and
A. Bagchi},
editor = {Patrick C. Fischer and
H. Paul Zeiger and
Jeffrey D. Ullman and
Arnold L. Rosenberg},
title = {Program Size and Economy of Descriptions: Preliminary Report},
booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1972, Denver, Colorado, {USA}},
pages = {183--186},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800152.804912},
doi = {10.1145/800152.804912},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/MeyerB72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerM71,
author = {Michael J. Fischer and
Albert R. Meyer},
title = {Boolean Matrix Multiplication and Transitive Closure},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
Michigan, USA, October 13-15, 1971},
pages = {129--131},
publisher = {{IEEE} Computer Society},
year = {1971},
url = {https://doi.org/10.1109/SWAT.1971.4},
doi = {10.1109/SWAT.1971.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerM71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerF71,
author = {Albert R. Meyer and
Michael J. Fischer},
title = {Economy of Description by Automata, Grammars, and Formal Systems},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
Michigan, USA, October 13-15, 1971},
pages = {188--191},
publisher = {{IEEE} Computer Society},
year = {1971},
url = {https://doi.org/10.1109/SWAT.1971.11},
doi = {10.1109/SWAT.1971.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerF71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FischerMR70,
author = {Patrick C. Fischer and
Albert R. Meyer and
Arnold L. Rosenberg},
title = {Time-Restricted Sequence Generation},
journal = {J. Comput. Syst. Sci.},
volume = {4},
number = {1},
pages = {50--73},
year = {1970},
url = {https://doi.org/10.1016/S0022-0000(70)80012-5},
doi = {10.1016/S0022-0000(70)80012-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FischerMR70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Meyer69,
author = {Albert R. Meyer},
title = {A Note on Star-Free Events},
journal = {J. {ACM}},
volume = {16},
number = {2},
pages = {220--225},
year = {1969},
url = {https://doi.org/10.1145/321510.321513},
doi = {10.1145/321510.321513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Meyer69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MeyerT69,
author = {Albert R. Meyer and
C. Thompson},
title = {Remarks on Algebraic Decomposition of Automata},
journal = {Math. Syst. Theory},
volume = {3},
number = {2},
pages = {110--118},
year = {1969},
url = {https://doi.org/10.1007/BF01746516},
doi = {10.1007/BF01746516},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/MeyerT69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/EvenM69,
author = {Shimon Even and
Albert R. Meyer},
title = {Sequential Boolean Equations},
journal = {{IEEE} Trans. Computers},
volume = {18},
number = {3},
pages = {230--240},
year = {1969},
url = {https://doi.org/10.1109/T-C.1969.222636},
doi = {10.1109/T-C.1969.222636},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/EvenM69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/McCreightM69,
author = {Edward M. McCreight and
Albert R. Meyer},
editor = {Patrick C. Fischer and
Seymour Ginsburg and
Michael A. Harrison},
title = {Classes of Computable Functions Defined by Bounds on Computation:
Preliminary Report},
booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1969, Marina del Rey, CA, {USA}},
pages = {79--88},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/800169.805423},
doi = {10.1145/800169.805423},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/McCreightM69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FischerMR68,
author = {Patrick C. Fischer and
Albert R. Meyer and
Arnold L. Rosenberg},
title = {Counter Machines and Counter Languages},
journal = {Math. Syst. Theory},
volume = {2},
number = {3},
pages = {265--283},
year = {1968},
url = {https://doi.org/10.1007/BF01694011},
doi = {10.1007/BF01694011},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/FischerMR68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerF68,
author = {Albert R. Meyer and
Patrick C. Fischer},
title = {On Computational Speed-Up},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady,
New York, USA, October 15-18, 1968},
pages = {351--355},
publisher = {{IEEE} Computer Society},
year = {1968},
url = {https://doi.org/10.1109/SWAT.1968.18},
doi = {10.1109/SWAT.1968.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerF68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/MeyerR67,
author = {Albert R. Meyer and
Dennis M. Ritchie},
editor = {Solomon Rosenthal},
title = {The complexity of loop programs},
booktitle = {Proceedings of the 22nd national conference, {ACM} 1967, Washington,
D.C., USA, 1967},
pages = {465--469},
publisher = {{ACM}},
year = {1967},
url = {https://doi.org/10.1145/800196.806014},
doi = {10.1145/800196.806014},
timestamp = {Mon, 19 Apr 2021 12:22:58 +0200},
biburl = {https://dblp.org/rec/conf/acm/MeyerR67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerRF67,
author = {Albert R. Meyer and
Arnold L. Rosenberg and
Patrick C. Fischer},
title = {Turing Machines with Several Read-Write Heads (Preliminary Report)},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {117--127},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.35},
doi = {10.1109/FOCS.1967.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerRF67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerMR67,
author = {Patrick C. Fischer and
Albert R. Meyer and
Arnold L. Rosenberg},
title = {Real Time Counter Machines (Preliminary Version)},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {148--154},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.29},
doi = {10.1109/FOCS.1967.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerMR67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/EvenM66,
author = {Shimon Even and
Albert R. Meyer},
title = {Test for Planarity of a Circuit Given by an Expression},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {15},
number = {3},
pages = {372--375},
year = {1966},
url = {https://doi.org/10.1109/PGEC.1966.264497},
doi = {10.1109/PGEC.1966.264497},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/EvenM66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
