The following pages link to Adam Obtułowicz (Q750437):
Displaying 28 items.
- Categorical and algebraic aspects of Martin-Löf type theory (Q750438) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Mathematical models of uncertainty with a regard to membrane systems (Q1410762) (← links)
- Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata (Q2890298) (← links)
- Randomized Gandy-Păun-Rozenberg Machines (Q3067496) (← links)
- (Q3309806) (← links)
- GANDY'S PRINCIPLES FOR MECHANISMS AND MEMBRANE COMPUTING (Q3379519) (← links)
- Causal Nets for Geometrical Gandy–Păun–Rozenberg Machines (Q3454902) (← links)
- (Q3659756) (← links)
- (Q3783293) (← links)
- (Q3907559) (← links)
- (Q3967590) (← links)
- (Q4014766) (← links)
- (Q4143484) (← links)
- (Q4175735) (← links)
- Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249) (← links)
- (Q4413841) (← links)
- Triangular Logic of Partial Toposes (Q4443409) (← links)
- (Q4452070) (← links)
- (Q4474017) (← links)
- (Q4489063) (← links)
- (Q4726252) (← links)
- Multigraphical Membrane Systems Revisited (Q4913847) (← links)
- MEMBRANE COMPUTING AND ONE-WAY FUNCTIONS (Q5249277) (← links)
- Membrane Computing (Q5316637) (← links)
- In Search of a Structure of Fractals by Using Membranes as Hyperedges (Q5404859) (← links)
- Membrane Computing (Q5897735) (← links)