Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Margarita V. Korovina, Oleg V. Kudinov |
Rice's Theorem in Effectively Enumerable Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 226-235, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Baartse, Klaus Meer |
Some Results on Interactive Proofs for Real Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 107-116, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Towards the Effective Descriptive Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 324-333, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Felice Cardone |
Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 3-12, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit |
A New Approach to the Paperfolding Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 34-43, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chengling Fang, Jiang Liu 0002, Guohua Wu, Mars M. Yamaleev |
Nonexistence of Minimal Pairs in L[d]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 177-185, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus L. Schmid |
Computing Equality-Free String Factorisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 313-323, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Máté Szabó |
Kalmár and Péter: Undecidability as a Consequence of Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 343-352, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara |
Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 186-195, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001 |
Prime Model with No Degree of Autostability Relative to Strong Constructivizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 117-126, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht, Matthias Schröder 0001, Victor L. Selivanov |
Base-Complexity Classifications of QCB0-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 156-166, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
ITRM I T R M -Recognizability from Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 137-144, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Patey |
Iterative Forcing and Hyperimmunity in Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 291-301, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodica Ceterchi, K. G. Subramanian 0001, Ibrahim Venkat |
P Systems with Parallel Rewriting for Chain Code Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 145-155, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Harold Fellermann, Natalio Krasnogor |
Chemical Production and Molecular Computing in Addressable Reaction Compartments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 173-182, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Patey |
The Complexity of Satisfaction Problems in Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 333-342, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shota Murakami, Takeshi Yamazaki, Keita Yokoyama |
On the Ramseyan Factorization Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 324-332, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | G. Graham White |
Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 373-382, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Anna Lázár |
A Computational Model of XACML-Based Access Control Management in Distributed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 265-274, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001 |
Constraint Logic Programming for Resolution of Relative Time Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 93-102, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonor Becerra-Bonache |
How can Grammatical Inference Contribute to Computational Linguistics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 21-31, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Lutz, Neil Lutz |
Lines Missing Every Random Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 283-292, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Prusinkiewicz, Brendan Lane, Adam Runions |
Metric-Driven Grammars and Morphogenesis (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 347-351, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacqueline Léon |
Early Machine Translation - Integration and Transfers between Computing and the Language Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 275-282, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gordana Dodig-Crnkovic |
Modeling Life as Cognitive Info-computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 153-162, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schröder 0001, Victor L. Selivanov |
Hyperprojective Hierarchy of qcb0-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 352-361, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Beretta 0001, Riccardo Dondi |
Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 42-52, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Charles M. Harris |
On Maximal Block Functions of Computable η-like Linear Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 214-223, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James F. Power |
An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 343-346, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Brijder, Hendrik Jan Hoogeboom |
Graph Polynomials Motivated by Gene Rearrangements in Ciliates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 63-72, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Erno Csajbók, Tamás Mihálydeák |
Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 103-112, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benini, Federico Gobbo |
Algorithms and Their Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 32-41, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
Algorithmic Randomness for Infinite Time Register Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 84-92, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michiel De Smet, Andreas Weiermann |
Phase Transitions Related to the Pigeonhole Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 123-132, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Fixed Points and Attractors of Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 194-203, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Wienbrandt |
The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 383-392, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Sgall |
Online Bin Packing: Old Algorithms and New Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 362-372, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francis Adams, Douglas Cenzer |
Computability and Categoricity of Ultrahomogeneous Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 1-10, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer (eds.) |
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![Springer, 978-3-319-08018-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud |
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 183-193, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Zimand |
Short Lists with Short Programs in Short Time - A Short Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 403-408, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Zandron |
Exploiting Membrane Features to Compute. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 393-402, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Evgenia Falkovich |
Generic Parallel Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 133-142, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 303-313, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
Isomorphisms of Non-Standard Fields and Ash's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 143-152, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski |
Learnability Thesis Does Not Entail Church's Thesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 113-122, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Ion Petre |
Fit-Preserving Data Refinement of Mass-Action Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 204-213, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
Lossiness of Communication Channels Modeled by Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 224-233, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christos A. Kapoutsis |
Predicate Characterizations in the Polynomial-Size Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 234-244, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
On the Equivalence of Automata for KAT-expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 73-83, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bazgan, Morgan Chopin, André Nichterlein, Florian Sikora |
Parameterized Inapproximability of Target Set Selection and Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 11-20, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Arno Pauly |
Function Spaces for Second-Order Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 245-254, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon McGregor |
Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 293-302, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Tie Hou |
Uniform Schemata for Proof Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 53-62, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib |
Complexity of Operation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 255-264, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Facchini, Henryk Michalewski |
Deciding the Borel Complexity of Regular Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 163-172, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Russell G. Miller, Reed Solomon, Rebecca M. Steiner |
On the Effectiveness of Symmetry Breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 314-323, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay K. Vereshchagin |
On Algorithmic Strong Sufficient Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 424-433, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan N. Soskov |
A Note on ω-Jump Inversion of Degree Spectra of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 365-370, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler 0001 |
Real Benefit of Promises and Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 1-11, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 120-122, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dueholm Hansen, Rasmus Ibsen-Jensen |
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 252-262, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miha E. Habic |
Cardinal-Recognizing Infinite Time Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 231-240, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Rosone, Marinella Sciortino |
The Burrows-Wheeler Transform between Data Compression and Combinatorics on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 353-364, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Dondi, Nadia El-Mabrouk |
Aligning and Labeling Genomes under the Duplication-Loss Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 97-107, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Braverman |
Noise versus Computational Intractability in Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 32, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Noam Greenberg |
Computing K-Trivial Sets by Incomplete Random Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 230, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kartzow, Philipp Schlicht |
Structures without Scattered-Automatic Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 273-283, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew McGregor 0001 |
Towards a Theory of Homomorphic Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 316-319, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pagnani |
Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 329, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marília D. V. Braga |
An Overview of Genomic Distances Modeled with Indels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 22-31, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander G. Melnikov, André Nies |
The Classification Problem for Compact Computable Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 320-328, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Gao, Sanjay Jain 0001, Frank Stephan 0001 |
On Conservative Learning of Recursively Enumerable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 181-190, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas de Rugy-Altherre |
Determinant versus Permanent: Salvation via Generalization? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 87-96, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giuditta Franco, Alessio Milanese |
An Investigation on Genomic Repeats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 149-160, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laxmi Parida |
Using Random Graphs in Population Genomics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 340-341, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss |
Recent Developments in Collective Decision Making in Combinatorial Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 123, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Gasperin |
Topology of Asymptotic Cones and Non-deterministic Polynomial Time Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 191-199, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara, Keita Yokoyama |
A Note on the Sequential Version of Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 171-180, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon |
Local Computability for Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 161-170, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fischbach, Benjamin Seyfferth |
On λ-Definable Functions on Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 135-146, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A Compositional Semantics of Reaction Systems with Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 330-339, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic, Ugo Vaccaro |
Latency-Bounded Target Set Selection in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 65-77, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Darko Stefanovic, Milan N. Stojanovic |
Computing Game Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 383-392, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lance Fortnow |
A Personal View of the P versus NP Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 147-148, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.) |
The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![Springer, 978-3-642-39052-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chee Yap, Michael Sagraloff, Vikram Sharma 0001 |
Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 434-444, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Marian Gheorghe 0001, Ciprian Dragomir |
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 284-293, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Stukachev |
On Processes and Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 393-402, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Case, Michael Ralston |
Beyond Rogers' Non-constructively Computable Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 45-54, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cervelle |
Constructing Continuous Systems from Discrete Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 55-64, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Böcker, Jan Baumbach |
Cluster Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 33-44, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Graham Cormode |
Summary Data Structures for Massive Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 78-86, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Daniel Silva Graça, Amaury Pouly, Ning Zhong 0002 |
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 12-21, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Irene Finocchi |
Software Streams: Big Data Challenges in Dynamic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 124-134, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gavruskin, Bakhadyr Khoussainov |
On Decidable and Computable Models of Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 200-209, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Durand-Lose |
Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 108-119, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matti Tedre |
Three Debates about Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 404-413, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari |
Negative Glues and Non-determinism in Nanocomputations by Self-assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 271-272, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Hashagen |
The Computation of Nature, Or: Does the Computer Drive Science and Technology? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 263-270, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|