| Publication | Date of Publication | Type |
|---|
Causal nets for geometrical Gandy-Păun-Rozenberg machines
Membrane Computing | 2015-12-02 | Paper |
Membrane computing and one-way functions
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
In search of a structure of fractals by using membranes as hyperedges
Membrane Computing | 2014-03-28 | Paper |
Multigraphical membrane systems revisited
Membrane Computing | 2013-04-16 | Paper |
Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata
Membrane Computing | 2012-06-08 | Paper |
Randomized Gandy-Păun-Rozenberg machines
Membrane Computing | 2011-01-21 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
GANDY'S PRINCIPLES FOR MECHANISMS AND MEMBRANE COMPUTING
International Journal of Foundations of Computer Science | 2006-04-06 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2005-09-14 | Paper |
| scientific article; zbMATH DE number 2080946 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2040914 (Why is no real title available?) | 2004-02-11 | Paper |
Triangular Logic of Partial Toposes
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
Mathematical models of uncertainty with a regard to membrane systems
Natural Computing | 2003-10-15 | Paper |
| scientific article; zbMATH DE number 1951596 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1471979 (Why is no real title available?) | 2000-11-22 | Paper |
Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions
Mathematical Structures in Computer Science | 1994-02-16 | Paper |
| scientific article; zbMATH DE number 69223 (Why is no real title available?) | 1992-10-20 | Paper |
Partiality, cartesian closedness, and toposes
Information and Computation | 1989-01-01 | Paper |
Categorical and algebraic aspects of Martin-Löf type theory
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4045740 (Why is no real title available?) | 1987-01-01 | Paper |
Algebra of constructions. I. The word problem for partial algebras
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999922 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3811536 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3837991 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3790503 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3717310 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3609903 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3572375 (Why is no real title available?) | 1977-01-01 | Paper |
