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
Categorical and algebraic aspects of Martin-Löf type theory	1989-01-01	Paper
Partiality, cartesian closedness, and toposes	1989-01-01	Paper
Algebra of constructions. I. The word problem for partial algebras	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783293	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adam Obtułowicz