default search action

combined dblp search
author search
venue search
publication search

ask others

6th CATS 2000: Caberra, ACT, Australia

> Home > Conferences and Workshops > CATS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/cats/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cats/2000
David A. Wolfram:
Computing: the Australasian Theory Symposium, CATS 2000, Canberra, Australia, January 1-2, 2000. Electronic Notes in Theoretical Computer Science 31, Elsevier 2000
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wolfram00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wolfram00
David A. Wolfram:
Preface. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Arslanov00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Arslanov00
Asat Arslanov:
On the phenomenon of autocomputability. 2-15
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Burstall00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Burstall00
Rod M. Burstall:
ProveEasy: helping people learn to do proofs. 16-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DaviesW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DaviesW00
Bruce Davies, Graham Wrightson:
An approach to strategies in concurrent systems. 33
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dezani-CiancagliniSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV00
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries:
Böhm's theorem for Berarducci trees. 34-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fortnow00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fortnow00
Lance Fortnow:
One complexity theorist's view of quantum computing. 58-72
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fujita00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fujita00
Ken-etsu Fujita:
Multiple-conclusion system as communication calculus. 73-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hamada00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hamada00
Mohamed Hamada:
Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables. 89-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Khoussainov00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Khoussainov00
Bakhadyr Khoussainov:
Algebraic constraints, automata, and regular languages. 104-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Krishnan00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Krishnan00
Padmanabhan Krishnan:
Automatic synthesis of schedulers in timed systems. 118-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NedjahM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NedjahM00
Nadia Nedjah, Luiza de Macedo Mourelle:
Dynamic deterministic pattern-matching. 132-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Takeuti00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Takeuti00
Izumi Takeuti:
Pruning Terms for Principal Type Assignment. 144-159
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GartnerW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GartnerW00
Bernd Gärtner, Emo Welzl:
On a simple sampling lemma. 160-169
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LinY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LinY00
Yih-Kai Lin, Hsu-Chun Yen:
An omega-automata approach to the compression of bi-level images. 170-184

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.