Search results for "computational completeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Donald A. Varvel, Leonard D. Shapiro	The Computational Completeness of Extended Database Query Languages.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power
2	Annegret Habel, Detlef Plump	Computational Completeness of Programming Languages Based on Graph Transformation.	FoSSaCS	2001	DBLP DOI BibTeX RDF
2	Alexandra Poulovassilis, Peter J. H. King	Extending the Functional Data Model to Computational Completeness.	EDBT	1990	DBLP DOI BibTeX RDF
1	Tomás Masopust, Alexander Meduna	On context-free rewriting with a simple restriction and its computational completeness.	ITA	2009	DBLP DOI BibTeX RDF
1	Artur Jez, Alexander Okhotin	On the Computational Completeness of Equations over Sets of Natural Numbers.	ICALP	2008	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Yurii Rogozhin	Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes.	DCFS	2008	DBLP BibTeX RDF
1	Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan	Further Results on Insertion-Deletion Systems with One-Sided Contexts.	LATA	2008	DBLP DOI BibTeX RDF	Insertion-deletion systems, computational non-completeness, universality
1	Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan	Partial Halting in P Systems Using Membrane Rules with Permitting Contexts.	MCU	2007	DBLP DOI BibTeX RDF	computational completeness, halting, minimal parallelism, permitting context, P systems
1	Mihai Ionescu, Dragos Sburlan	P Systems with Adjoining Controlled Communication Rules.	FCT	2007	DBLP DOI BibTeX RDF
1	Artiom Matveevici, Yurii Rogozhin, Sergey Verlan	Insertion-Deletion Systems with One-Sided Contexts.	MCU	2007	DBLP DOI BibTeX RDF	insertion-deletion systems, computational non-completeness, universality
1	Ludek Cienciala, Lucie Ciencialová, Alica Kelemenová	On the Number of Agents in P Colonies.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
1	Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern	Computational Completeness of Tissue P Systems with Conditional Uniport.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
1	Matteo Cavaliere, Pierluigi Frisco, Hendrik Jan Hoogeboom	Computing by Only Observing.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
1	Tseren-Onolt Ishdorj	Minimal Parallelism for Polarizationless P Systems.	DNA	2006	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Rudolf Freund, Marion Oswald, Marija Slavkovik	Extended Spiking Neural P Systems.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
1	Rudolf Freund, Marion Oswald, Andrei Paun	Optimal results for the computational completeness of gemmating (tissue) P systems.	Int. J. Found. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Rudolf Freund, Marion Oswald	Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF	antiport rules, tissue P systems, membrane computing, cells
1	Artiom Alhazov, Rudolf Freund, Marion Oswald	Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Rudolf Freund, Yurii Rogozhin	Computational Power of Symport/Antiport: History, Advances, and Open Problems.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
1	Pierluigi Frisco	P Systems, Petri Nets, and Program Machines.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
1	Mohamed Mosbah, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Rudolf Freund, Gheorghe Paun	Computational Completeness of P Systems with Active Membranes and Two Polarizations.	MCU	2004	DBLP DOI BibTeX RDF
1	Erzsébet Csuhaj-Varjú, György Vaszil	Reducing the Size of Extended Gemmating Systems.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
1	Rudolf Freund	Asynchronous P Systems and P Systems Working in the Sequential Mode.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
1	Omer Horvitz, Virgil D. Gligor	Weak Key Authenticity and the Computational Completeness of Formal Encryption.	CRYPTO	2003	DBLP DOI BibTeX RDF	Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning
1	Álvaro Romero Jiménez, Mario J. Pérez-Jiménez	Computing Partial Recursive Functions by Transition P Systems.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
1	Petr Sosík	The Power of Catalysts and Priorities in Membrane Systems.	Grammars	2003	DBLP DOI BibTeX RDF	universal computation, membrane computing, P system
1	Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa	From Watson-Crick L systems to Darwinian P systems.	Natural Computing	2003	DBLP DOI BibTeX RDF	Watson-Crick complementarity, L system, membrane computing, P system, recursively enumerable language
1	Shankara Narayanan Krishna, Kuppuswamy Lakshmanan, Raghavan Rama	Tissue P Systems with Contextual and Rewriting Rules.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
1	James Aspnes, David F. Fischer, Michael J. Fischer, Ming-Yang Kao, Alok Kumar	Towards understanding the predictability of stock markets from the perspective of computational complexity.	SODA	2001	DBLP DOI BibTeX RDF
1	Erzsébet Csuhaj-Varjú, György Vaszil	On the Computational Completeness of Context-Free Parallel Communicating Grammar Systems.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Floris Geerts, Bart Kuijpers	Expressing Topological Connectivity of Spatial Databases.	DBPL	1999	DBLP DOI BibTeX RDF
1	Daniel Hirschkoff	On the Benefits of Using the Up-To Techniques for Bisimulation Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens	On the completeness of object-creating database transformation languages.	J. ACM	1997	DBLP DOI BibTeX RDF	computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation
1	Elias Dahlhaus, Johann A. Makowsky	The Choice of Programming Primitives for SETL-Like Programming Languages.	ESOP	1986	DBLP DOI BibTeX RDF