Search dblp for Publications

export results for "toc:db/journals/tcs/entcs42.bht:"

 download as .bib file

@inproceedings{DBLP:journals/tcs/Arslanov01,
  author       = {Asat Arslanov},
  editor       = {Colin J. Fidge},
  title        = {On Elementary Computability-Theoretic Properties of Algorithmic Randomness},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {41--51},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80877-6},
  doi          = {10.1016/S1571-0661(04)80877-6},
  timestamp    = {Fri, 11 Nov 2022 16:01:10 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Arslanov01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/BabaHF01,
  author       = {Kensuke Baba and
                  Sachio Hirokawa and
                  Ken{-}etsu Fujita},
  editor       = {Colin J. Fidge},
  title        = {Parallel Reduction in Type Free lambda/mu-Calculus},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {52--66},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80878-8},
  doi          = {10.1016/S1571-0661(04)80878-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BabaHF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Cerone01,
  author       = {Antonio Cerone},
  editor       = {Colin J. Fidge},
  title        = {Axiomatisation of an Interval Calculus for Theorem Proving},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {67--88},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80879-X},
  doi          = {10.1016/S1571-0661(04)80879-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cerone01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/DawsonG01,
  author       = {Jeremy E. Dawson and
                  Rajeev Gor{\'{e}}},
  editor       = {Colin J. Fidge},
  title        = {Embedding Display Calculi into Logical Frameworks: Comparing Twelf
                  and Isabelle},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {89--103},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80880-6},
  doi          = {10.1016/S1571-0661(04)80880-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DawsonG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Dunne01,
  author       = {Steve Dunne},
  editor       = {Colin J. Fidge},
  title        = {Abstract Commands: a Uniform Notation for Specification and Implementation},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {104--123},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80881-8},
  doi          = {10.1016/S1571-0661(04)80881-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dunne01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Fidge01,
  author       = {Colin J. Fidge},
  editor       = {Colin J. Fidge},
  title        = {Preface},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {282--283},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80891-6},
  doi          = {10.1016/S1571-0661(05)80891-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fidge01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/FordM01,
  author       = {Jonathan M. Ford and
                  Ian A. Mason},
  editor       = {Colin J. Fidge},
  title        = {Operational Techniques in {PVS} - {A} Preliminary Evaluation},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {124--142},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80882-X},
  doi          = {10.1016/S1571-0661(04)80882-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FordM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/GerdsmeierC01,
  author       = {Thorsten Gerdsmeier and
                  Rachel Cardell{-}Oliver},
  editor       = {Colin J. Fidge},
  title        = {Analysis of Scheduling Behaviour using Generic Timed Automata},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {143--157},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80883-1},
  doi          = {10.1016/S1571-0661(04)80883-1},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GerdsmeierC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/LinkS01,
  author       = {Sebastian Link and
                  Klaus{-}Dieter Schewe},
  editor       = {Colin J. Fidge},
  title        = {Computability and Decidability Issues in the Theory of Consistency
                  Enforcement},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {174--196},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80885-5},
  doi          = {10.1016/S1571-0661(04)80885-5},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LinkS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/MartinF01,
  author       = {Andrew P. Martin and
                  Colin J. Fidge},
  editor       = {Colin J. Fidge},
  title        = {Lifting in {Z}},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {197--219},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80886-7},
  doi          = {10.1016/S1571-0661(04)80886-7},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MartinF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/McIverM01,
  author       = {Annabelle McIver and
                  Carroll Morgan},
  editor       = {Colin J. Fidge},
  title        = {Almost-Certain Eventualities and Abstract Probabilities in the Temporal
                  Logic {PTL}},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {12--40},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80876-4},
  doi          = {10.1016/S1571-0661(04)80876-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/McIverM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/MizutaniIS01,
  author       = {Tetsuya Mizutani and
                  Shigeru Igarashi and
                  Masayuki Shio},
  editor       = {Colin J. Fidge},
  title        = {Representation of a Discretely Controlled Continuous System in Tense
                  Arithmetic},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {220--231},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80887-9},
  doi          = {10.1016/S1571-0661(04)80887-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MizutaniIS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/SaundersT01,
  author       = {Shane Saunders and
                  Tadao Takaoka},
  editor       = {Colin J. Fidge},
  title        = {Improved Shortest Path Algorithms for Nearly Acyclic Graphs},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {232--248},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80888-0},
  doi          = {10.1016/S1571-0661(04)80888-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SaundersT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Schachte01,
  author       = {Peter Schachte},
  editor       = {Colin J. Fidge},
  title        = {Precise Goal-Independent Abstract Interpretation of Constraint Logic
                  Programs},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {249--265},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80889-2},
  doi          = {10.1016/S1571-0661(04)80889-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schachte01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/ShieldHC01,
  author       = {Jamie Shield and
                  Ian J. Hayes and
                  David A. Carrington},
  editor       = {Colin J. Fidge},
  title        = {Using Theory Interpretation to Mechanise the Reals in a Theorem Prover},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {266--281},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80890-9},
  doi          = {10.1016/S1571-0661(04)80890-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ShieldHC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/SreenivasVJ01,
  author       = {Ashok Sreenivas and
                  R. Venkatesh and
                  Mathai Joseph},
  editor       = {Colin J. Fidge},
  title        = {Meta-Modelling for Formal Software Development},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {1--11},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80875-2},
  doi          = {10.1016/S1571-0661(04)80875-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SreenivasVJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/TorreN01,
  author       = {Salvatore La Torre and
                  Margherita Napoli},
  editor       = {Colin J. Fidge},
  title        = {A Model of Finite Automata on Timed omega-Trees},
  booktitle    = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  pages        = {158--173},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80884-3},
  doi          = {10.1016/S1571-0661(04)80884-3},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TorreN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cats/2001,
  editor       = {Colin J. Fidge},
  title        = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
                  Australia, January 29-30, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {42},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/42/suppl/C},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/2001.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.