BibTeX records: John Staples

download as .bib file

@article{DBLP:journals/tcs/JayS96,
  author    = {C. Barry Jay and
               John Staples},
  title     = {Preface: Theoretical Computer Science in Australia and New Zealand},
  journal   = {Theor. Comput. Sci.},
  volume    = {169},
  number    = {1},
  pages     = {1},
  year      = {1996},
  timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JayS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Staples96,
  author    = {John Staples},
  title     = {Verification, Validation and the Future of Software Engineering},
  booktitle = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
               14-18, 1996, Melbourne, Australia},
  pages     = {2},
  year      = {1996},
  crossref  = {DBLP:conf/aswec/1996},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.10006},
  doi       = {10.1109/ASWEC.1996.10006},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/Staples96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/ZucconiRRS96,
  author    = {Lin Zucconi and
               Greg Royle and
               Karl Reed and
               John Staples},
  title     = {Do Formal Methods Really Work?},
  booktitle = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
               14-18, 1996, Melbourne, Australia},
  pages     = {66},
  year      = {1996},
  crossref  = {DBLP:conf/aswec/1996},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.10003},
  doi       = {10.1109/ASWEC.1996.10003},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/ZucconiRRS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BechtS95,
  author    = {H. Becht and
               John Staples},
  title     = {Soft Typing of General First-Order Languages},
  booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
               6-9, 1995, Brisbane, Queensland, Australia},
  pages     = {480--488},
  year      = {1995},
  crossref  = {DBLP:conf/apsec/1995},
  url       = {https://doi.org/10.1109/APSEC.1995.496997},
  doi       = {10.1109/APSEC.1995.496997},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/BechtS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/1995,
  editor    = {John Staples and
               Peter Eades and
               Naoki Katoh and
               Alistair Moffat},
  title     = {Algorithms and Computation, 6th International Symposium, {ISAAC} '95,
               Cairns, Australia, December 4-6, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1004},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0015401},
  doi       = {10.1007/BFb0015401},
  isbn      = {3-540-60573-8},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isaac/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StaplesRH94,
  author    = {John Staples and
               Peter J. Robinson and
               Daniel Hazel},
  title     = {A Functional Logic for Higher Level Reasoning About Computation},
  journal   = {Formal Asp. Comput.},
  volume    = {6},
  number    = {1},
  pages     = {1--38},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF01211079},
  doi       = {10.1007/BF01211079},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/StaplesRH94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RobinsonSC94,
  author    = {Peter J. Robinson and
               John Staples and
               Anthony S. K. Cheng},
  title     = {Theorem Proving Applications for QU-Prolog},
  booktitle = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
               Programming, Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994w10},
  timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/RobinsonSC94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RobinsonS93,
  author    = {Peter J. Robinson and
               John Staples},
  title     = {Formalizing a Hierarchical Structure of Practical Mathematical Reasoning},
  journal   = {J. Log. Comput.},
  volume    = {3},
  number    = {1},
  pages     = {47--61},
  year      = {1993},
  url       = {https://doi.org/10.1093/logcom/3.1.47},
  doi       = {10.1093/logcom/3.1.47},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/RobinsonS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChenS93,
  author    = {Jian Chen and
               John Staples},
  title     = {Defining Soft Sortedness by Abstract Interpretation},
  booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
               Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
               Proceedings},
  pages     = {362--371},
  year      = {1993},
  crossref  = {DBLP:conf/mfcs/1993},
  url       = {https://doi.org/10.1007/3-540-57182-5\_28},
  doi       = {10.1007/3-540-57182-5\_28},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/ChenS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/ChenS92,
  author    = {Jian Chen and
               John Staples},
  title     = {Soft Sorting in Logic Programming},
  booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
               London, 30 March - 1 April 1992},
  pages     = {79--96},
  year      = {1992},
  crossref  = {DBLP:conf/alpuk/1992},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/alpuk/ChenS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KearneySA92,
  author    = {Peter Kearney and
               John Staples and
               A. Abbas},
  title     = {Functional Verification of Hard Real-Time Programs},
  booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
               1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
               Spain, 7-11 September 1992},
  pages     = {113--119},
  year      = {1992},
  crossref  = {DBLP:conf/ifip/1992-1},
  timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/KearneySA92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KearneyS91,
  author    = {Peter Kearney and
               John Staples},
  title     = {An Extensional Fixed-Point Semantics for Nondeterministic Data Flow},
  journal   = {Theor. Comput. Sci.},
  volume    = {91},
  number    = {2},
  pages     = {129--179},
  year      = {1991},
  url       = {https://doi.org/10.1016/0304-3975(91)90082-D},
  doi       = {10.1016/0304-3975(91)90082-D},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/KearneyS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChengRS91,
  author    = {Anthony S. K. Cheng and
               Peter J. Robinson and
               John Staples},
  title     = {Higher Level Meta Programming in Qu-Prolog 3: 0},
  booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
               Paris, France, June 24-28, 1991},
  pages     = {285--298},
  year      = {1991},
  crossref  = {DBLP:conf/iclp/1991},
  timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/ChengRS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/StaplesR90,
  author    = {John Staples and
               Peter J. Robinson},
  title     = {Structure Sharing for Quantified Terms: Fundamentals},
  journal   = {J. Autom. Reasoning},
  volume    = {6},
  number    = {2},
  pages     = {115--145},
  year      = {1990},
  url       = {https://doi.org/10.1007/BF00245815},
  doi       = {10.1007/BF00245815},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/StaplesR90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/StaplesR88,
  author    = {John Staples and
               Peter J. Robinson},
  title     = {Efficient Unification of Quantified Terms},
  journal   = {J. Log. Program.},
  volume    = {5},
  number    = {2},
  pages     = {133--149},
  year      = {1988},
  url       = {https://doi.org/10.1016/0743-1066(88)90015-5},
  doi       = {10.1016/0743-1066(88)90015-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/StaplesR88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples88,
  author    = {John Staples},
  title     = {Delaying Unification Algorithms for Lambda Calculi},
  journal   = {Theor. Comput. Sci.},
  volume    = {56},
  pages     = {277--288},
  year      = {1988},
  url       = {https://doi.org/10.1016/0304-3975(88)90135-1},
  doi       = {10.1016/0304-3975(88)90135-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Staples88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/StaplesRPHCW88,
  author    = {John Staples and
               Peter J. Robinson and
               R. A. Paterson and
               R. A. Hagen and
               A. J. Craddock and
               P. C. Wallis},
  title     = {Qu-Prolog: An Extended Prolog for Meta Level Programming},
  booktitle = {{META}},
  pages     = {435--452},
  year      = {1988},
  timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/meta/StaplesRPHCW88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/StaplesR86,
  author    = {John Staples and
               Peter J. Robinson},
  title     = {Unification of quantified terms},
  booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
               Mexico, USA, September 29 - October 1, 1986},
  pages     = {426--450},
  year      = {1986},
  crossref  = {DBLP:conf/gr/1986},
  url       = {https://doi.org/10.1007/3-540-18420-1\_69},
  doi       = {10.1007/3-540-18420-1\_69},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gr/StaplesR86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StaplesN85,
  author    = {John Staples and
               V. L. Nguyen},
  title     = {A Fixpoint Semantics for Nondeterministic Data Flow},
  journal   = {J. {ACM}},
  volume    = {32},
  number    = {2},
  pages     = {411--444},
  year      = {1985},
  url       = {https://doi.org/10.1145/3149.3155},
  doi       = {10.1145/3149.3155},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/StaplesN85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StaplesN83,
  author    = {John Staples and
               V. L. Nguyen},
  title     = {Computing the Behaviour of Asynchronous Processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {26},
  pages     = {343--353},
  year      = {1983},
  url       = {https://doi.org/10.1016/0304-3975(83)90017-8},
  doi       = {10.1016/0304-3975(83)90017-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/StaplesN83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoldschlagerSS82,
  author    = {Leslie M. Goldschlager and
               Ralph A. Shaw and
               John Staples},
  title     = {The Maximum Flow Problem is Log Space Complete for {P}},
  journal   = {Theor. Comput. Sci.},
  volume    = {21},
  pages     = {105--111},
  year      = {1982},
  url       = {https://doi.org/10.1016/0304-3975(82)90092-5},
  doi       = {10.1016/0304-3975(82)90092-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GoldschlagerSS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigS82,
  author    = {Hartmut Ehrig and
               John Staples},
  title     = {Church-Rosser properties for graph replacement systems with unique
               splitting},
  booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
               Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
               4-8, 1982},
  pages     = {82--101},
  year      = {1982},
  crossref  = {DBLP:conf/gg/1982},
  url       = {https://doi.org/10.1007/BFb0000100},
  doi       = {10.1007/BFb0000100},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/EhrigS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Staples82,
  author    = {John Staples},
  title     = {Two-level expression representation for faster evaluation},
  booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
               Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
               4-8, 1982},
  pages     = {392--404},
  year      = {1982},
  crossref  = {DBLP:conf/gg/1982},
  url       = {https://doi.org/10.1007/BFb0000121},
  doi       = {10.1007/BFb0000121},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/Staples82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/EadesS81,
  author    = {Peter Eades and
               John Staples},
  title     = {On Optimal Trees},
  journal   = {J. Algorithms},
  volume    = {2},
  number    = {4},
  pages     = {369--384},
  year      = {1981},
  url       = {https://doi.org/10.1016/0196-6774(81)90035-3},
  doi       = {10.1016/0196-6774(81)90035-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jal/EadesS81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Staples81,
  author    = {John Staples},
  title     = {Efficient Combinatory Reduction},
  journal   = {Math. Log. Q.},
  volume    = {27},
  number    = {25-30},
  pages     = {391--402},
  year      = {1981},
  url       = {https://doi.org/10.1002/malq.19810272503},
  doi       = {10.1002/malq.19810272503},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mlq/Staples81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80,
  author    = {John Staples},
  title     = {Computation on Graph-Like Expressions},
  journal   = {Theor. Comput. Sci.},
  volume    = {10},
  pages     = {171--185},
  year      = {1980},
  url       = {https://doi.org/10.1016/0304-3975(80)90013-4},
  doi       = {10.1016/0304-3975(80)90013-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Staples80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80a,
  author    = {John Staples},
  title     = {Optimal Evaluations of Graph-Like Expressions},
  journal   = {Theor. Comput. Sci.},
  volume    = {10},
  pages     = {297--316},
  year      = {1980},
  url       = {https://doi.org/10.1016/0304-3975(80)90051-1},
  doi       = {10.1016/0304-3975(80)90051-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Staples80a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80b,
  author    = {John Staples},
  title     = {Speeding up Subtree Replacement Systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {11},
  pages     = {39--47},
  year      = {1980},
  url       = {https://doi.org/10.1016/0304-3975(80)90033-X},
  doi       = {10.1016/0304-3975(80)90033-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Staples80b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Staples78,
  author    = {John Staples},
  title     = {Truth in constructive metamathematics},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {19},
  number    = {3},
  pages     = {489--494},
  year      = {1978},
  url       = {https://doi.org/10.1305/ndjfl/1093888413},
  doi       = {10.1305/ndjfl/1093888413},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ndjfl/Staples78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Staples78,
  author    = {John Staples},
  title     = {A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction
               is Optimal},
  booktitle = {Graph-Grammars and Their Application to Computer Science and Biology,
               International Workshop, Bad Honnef, Germany, October 30 - November
               3, 1978},
  pages     = {440--455},
  year      = {1978},
  crossref  = {DBLP:conf/gg/1978},
  url       = {https://doi.org/10.1007/BFb0025740},
  doi       = {10.1007/BFb0025740},
  timestamp = {Wed, 20 Jun 2018 17:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/Staples78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Staples74,
  author    = {John Staples},
  title     = {Combinator Realizability of a Constructive Morse Set Theory},
  journal   = {J. Symb. Log.},
  volume    = {39},
  number    = {2},
  pages     = {226--234},
  year      = {1974},
  url       = {https://doi.org/10.2307/2272635},
  doi       = {10.2307/2272635},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsyml/Staples74},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/1996,
  title     = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
               14-18, 1996, Melbourne, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3810},
  isbn      = {0-8186-7635-3},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/1995,
  title     = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
               6-9, 1995, Brisbane, Queensland, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3579},
  isbn      = {0-8186-7171-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w10,
  editor    = {Roy Dyckhoff and
               Lars{-}Henrik Eriksson and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
               Programming, Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1994w10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1993,
  editor    = {Andrzej M. Borzyszkowski and
               Stefan Sokolowski},
  title     = {Mathematical Foundations of Computer Science 1993, 18th International
               Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {711},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57182-5},
  doi       = {10.1007/3-540-57182-5},
  isbn      = {3-540-57182-5},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alpuk/1992,
  editor    = {Krysia Broda},
  title     = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
               London, 30 March - 1 April 1992},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
  isbn      = {3-540-19783-4},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/alpuk/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1992-1,
  editor    = {Jan van Leeuwen},
  title     = {Algorithms, Software, Architecture - Information Processing '92, Volume
               1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
               Spain, 7-11 September 1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-12}},
  publisher = {North-Holland},
  year      = {1992},
  isbn      = {0-444-89747-X},
  timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/1992-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1991,
  editor    = {Koichi Furukawa},
  title     = {Logic Programming, Proceedings of the Eigth International Conference,
               Paris, France, June 24-28, 1991},
  publisher = {{MIT} Press},
  year      = {1991},
  isbn      = {0-262-56058-5},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gr/1986,
  editor    = {Joseph H. Fasel and
               Robert M. Keller},
  title     = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
               Mexico, USA, September 29 - October 1, 1986},
  series    = {Lecture Notes in Computer Science},
  volume    = {279},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-18420-1},
  doi       = {10.1007/3-540-18420-1},
  isbn      = {3-540-18420-1},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gr/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/1982,
  editor    = {Hartmut Ehrig and
               Manfred Nagl and
               Grzegorz Rozenberg},
  title     = {Graph-Grammars and Their Application to Computer Science, 2nd International
               Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
               4-8, 1982},
  series    = {Lecture Notes in Computer Science},
  volume    = {153},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/BFb0000094},
  doi       = {10.1007/BFb0000094},
  isbn      = {3-540-12310-5},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/1982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/1978,
  editor    = {Volker Claus and
               Hartmut Ehrig and
               Grzegorz Rozenberg},
  title     = {Graph-Grammars and Their Application to Computer Science and Biology,
               International Workshop, Bad Honnef, Germany, October 30 - November
               3, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {73},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/BFb0025713},
  doi       = {10.1007/BFb0025713},
  isbn      = {3-540-09525-X},
  timestamp = {Wed, 20 Jun 2018 17:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/1978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier