Adam Obtułowicz

Available identifiers

zbMath Open obtulowicz.adamMaRDI QIDQ750437

List of research outcomes

Publication	Date of Publication	Type
Causal Nets for Geometrical Gandy–Păun–Rozenberg Machines	2015-12-02	Paper
MEMBRANE COMPUTING AND ONE-WAY FUNCTIONS	2015-04-30	Paper
In Search of a Structure of Fractals by Using Membranes as Hyperedges	2014-03-28	Paper
Multigraphical membrane systems revisited	2013-04-16	Paper
Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata	2012-06-08	Paper
Randomized Gandy-Păun-Rozenberg machines	2011-01-21	Paper
Membrane Computing	2006-11-13	Paper
GANDY'S PRINCIPLES FOR MECHANISMS AND MEMBRANE COMPUTING	2006-04-06	Paper
Membrane Computing	2005-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4474017	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4452070	2004-02-11	Paper
Triangular Logic of Partial Toposes	2004-01-11	Paper
Mathematical models of uncertainty with a regard to membrane systems	2003-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4413841	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4489063	2000-11-22	Paper
Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions	1994-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4014766	1992-10-20	Paper
Partiality, cartesian closedness, and toposes	1989-01-01	Paper
Categorical and algebraic aspects of Martin-Löf type theory	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783293	1987-01-01	Paper
Algebra of constructions. I. The word problem for partial algebras	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726252	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659756	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3309806	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3967590	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907559	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175735	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143484	1977-01-01	Paper

Research outcomes over time

This page was built for person: Adam Obtułowicz