Adam Obtulowicz

According to our database1, Adam Obtulowicz authored at least 19 papers between 1977 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Causal Nets for Geometrical Gandy-Păun-Rozenberg Machines.
Proceedings of the Membrane Computing, 2014

2013
In Search of a Structure of Fractals by Using Membranes as Hyperedges.
Proceedings of the Membrane Computing, 2013

2012
Multigraphical Membrane Systems Revisited.
Proceedings of the Membrane Computing, 2012

2011
Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata.
Proceedings of the Membrane Computing, 2011

2010
Randomized Gandy-Paun-Rozenberg Machines.
Proceedings of the Membrane Computing, 2010

2006
Gandy's principles for mechanisms and membrane computing.
Int. J. Found. Comput. Sci., 2006

2005
Relational Membrane Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004
General Multi-fuzzy Sets and Fuzzy Membrane Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

2003
Mathematical models of uncertainty with a regard to membrane systems.
Nat. Comput., 2003

On Three Classes of Automata-Like P Systems.
Proceedings of the Developments in Language Theory, 7th International Conference, 2003

2002
Probabilistic P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

2001
Membrane Computing and One-Way Functions.
Int. J. Found. Comput. Sci., 2001

2000
Triangular Logic of Partial Toposes.
J. Appl. Non Class. Logics, 2000

On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time.
Proceedings of the Multiset Processing, 2000

1993
Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions.
Math. Struct. Comput. Sci., 1993

1989
Partiality, Cartesian closedness and Toposes
Inf. Comput., January, 1989

Categorical and algebraic aspects of Martin-Löf Type Theory.
Stud Logica, 1989

1987
Algebra of Constructions. I. The Word Problem for Partial Algebras
Inf. Comput., May, 1987

1977
Functorial Semantics of the Type Free lambda-beta eta Calculus.
Proceedings of the Fundamentals of Computation Theory, 1977


  Loading...