Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/tcs/Arslanov00,
  author       = {Asat Arslanov},
  editor       = {David A. Wolfram},
  title        = {On the phenomenon of autocomputability},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {2--15},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80326-3},
  doi          = {10.1016/S1571-0661(05)80326-3},
  timestamp    = {Fri, 11 Nov 2022 16:02:13 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Arslanov00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Burstall00,
  author       = {Rod M. Burstall},
  editor       = {David A. Wolfram},
  title        = {ProveEasy: helping people learn to do proofs},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {16--32},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80327-5},
  doi          = {10.1016/S1571-0661(05)80327-5},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Burstall00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/DaviesW00,
  author       = {Bruce Davies and
                  Graham Wrightson},
  editor       = {David A. Wolfram},
  title        = {An approach to strategies in concurrent systems},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {33},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80328-7},
  doi          = {10.1016/S1571-0661(05)80328-7},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DaviesW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Dezani-CiancagliniSV00,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {David A. Wolfram},
  title        = {B{\"{o}}hm's theorem for Berarducci trees},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {34--57},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80329-9},
  doi          = {10.1016/S1571-0661(05)80329-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Fortnow00,
  author       = {Lance Fortnow},
  editor       = {David A. Wolfram},
  title        = {One complexity theorist's view of quantum computing},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {58--72},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80330-5},
  doi          = {10.1016/S1571-0661(05)80330-5},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fortnow00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Fujita00,
  author       = {Ken{-}etsu Fujita},
  editor       = {David A. Wolfram},
  title        = {Multiple-conclusion system as communication calculus},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {73--88},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80331-7},
  doi          = {10.1016/S1571-0661(05)80331-7},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fujita00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/GartnerW00,
  author       = {Bernd G{\"{a}}rtner and
                  Emo Welzl},
  editor       = {David A. Wolfram},
  title        = {On a simple sampling lemma},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {160--169},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80337-8},
  doi          = {10.1016/S1571-0661(05)80337-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GartnerW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Hamada00,
  author       = {Mohamed Hamada},
  editor       = {David A. Wolfram},
  title        = {Strong completeness of a narrowing calculus for conditional rewrite
                  systems with extra variables},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {89--103},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80332-9},
  doi          = {10.1016/S1571-0661(05)80332-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hamada00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Khoussainov00,
  author       = {Bakhadyr Khoussainov},
  editor       = {David A. Wolfram},
  title        = {Algebraic constraints, automata, and regular languages},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {104--117},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80333-0},
  doi          = {10.1016/S1571-0661(05)80333-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Khoussainov00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Krishnan00,
  author       = {Padmanabhan Krishnan},
  editor       = {David A. Wolfram},
  title        = {Automatic synthesis of schedulers in timed systems},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {118--131},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80334-2},
  doi          = {10.1016/S1571-0661(05)80334-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Krishnan00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/LinY00,
  author       = {Yih{-}Kai Lin and
                  Hsu{-}Chun Yen},
  editor       = {David A. Wolfram},
  title        = {An omega-automata approach to the compression of bi-level images},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {170--184},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80338-X},
  doi          = {10.1016/S1571-0661(05)80338-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LinY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/NedjahM00,
  author       = {Nadia Nedjah and
                  Luiza de Macedo Mourelle},
  editor       = {David A. Wolfram},
  title        = {Dynamic deterministic pattern-matching},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {132--143},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80335-4},
  doi          = {10.1016/S1571-0661(05)80335-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NedjahM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Takeuti00,
  author       = {Izumi Takeuti},
  editor       = {David A. Wolfram},
  title        = {Pruning Terms for Principal Type Assignment},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {144--159},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80336-6},
  doi          = {10.1016/S1571-0661(05)80336-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Takeuti00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Wolfram00,
  author       = {David A. Wolfram},
  editor       = {David A. Wolfram},
  title        = {Preface},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)01465-9},
  doi          = {10.1016/S1571-0661(05)01465-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wolfram00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cats/2000,
  editor       = {David A. Wolfram},
  title        = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/31/suppl/C},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/2000.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.