scientific article; zbMATH DE number 835721
automatic theorem provingcellular automataComputer sciencedecision treesKyoto (Japan)lexical-functional grammarslogic circuitsneural networknondeterministic finite automatanonlinear term rewriting systemsparallel algorithmProceedingsSymposiumTheoretical computer science
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Learning and adaptive systems in artificial intelligence (68T05)
- Theoretical computer science in Australia and New Zealand. 2nd meeting, Melbourne, Australia, 1996
- Theoretical foundations of computer science: toward a paradigm for computing in the 21st century. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 31 -- February 2, 2000
- scientific article; zbMATH DE number 3905822 (Why is no real title available?)
- scientific article; zbMATH DE number 3963157 (Why is no real title available?)
- scientific article; zbMATH DE number 47725 (Why is no real title available?)
- scientific article; zbMATH DE number 1313931 (Why is no real title available?)
- scientific article; zbMATH DE number 499920 (Why is no real title available?)
- scientific article; zbMATH DE number 1749012 (Why is no real title available?)
- scientific article; zbMATH DE number 1377408 (Why is no real title available?)
- scientific article; zbMATH DE number 2094546 (Why is no real title available?)
- scientific article; zbMATH DE number 1393320 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4861412)
