|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 21 keywords
|
|
|
Results
Found 128 publication records. Showing 128 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alain Colmerauer |
On the Complexity of Universal Programs. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Mycka, José Félix Costa |
The Computational Power of Continuous Dynamic Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
Universal Families of Reversible P Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron |
Sequential P Systems with Unit Rules and Energy Assigned to Membranes. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
1 | René Schott, Jean-Claude Spehner |
On the Minimal Automaton of the Shuffle of Words and Araucarias. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Géraud Sénizergues |
Some Applications of the Decidability of DPDA's Equivalence. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas J. Naughton, Damien Woods |
On the Computational Power of a Continuous-Space Optical Model of Computation. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Madhu Mutyam, Kamala Krithivasan |
P Systems with Membrane Creation: Universality and Efficiency. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Baiocchi |
Three Small Universal Turing Machines. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Zandron, Claudio Ferretti, Giancarlo Mauri |
Two Normal Forms for Rewriting P Systems. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Zenon Sadowski |
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir A. Zakharov |
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Gruska, Hiroshi Imai |
Power, Puzzles and Properties of Entanglement. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern, Yurii Rogozhin (eds.) |
Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau |
Nonterminal Complexity of Programmed Grammars. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Petr Sosík |
D0L System + Watson-Crick Complementarity = Universal Computation. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Freund, Gheorghe Paun |
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Juhani Karhumäki |
Combinatorial and Computational Problems on Finite Sets of Words. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vincent D. Blondel, Julien Cassaigne, Codrin M. Nichitiu |
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal |
On the Transition Graphs of Turing Machines. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Morita |
A Simple Universal Logic Element and Cellular Automata for Reversible Computing. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai |
Speeding-Up Cellular Automata by Alternations. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Mihai Rotaru |
JC-Nets. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pierluigi Frisco |
A Direct Construction of a Universal Extended H System. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Asa Ben-Hur, Hava T. Siegelmann |
Computation in Gene Networks. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Martín-Vide, Gheorghe Paun |
Computing with Membranes (P Systems): Universality Results. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib |
Efficient Universal Pushdown Cellular Automata and Their Application to Complexity. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #128 of 128 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|