228 search results - page 2 / 46 » Two Normal Forms for Rewriting P Systems |
RTA
2010
Springer
13 years 7 months ago
2010
Springer
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...
AAECC
2010
Springer
13 years 5 months ago
2010
Springer
POPL
1997
ACM
13 years 9 months ago
1997
ACM
The following theorem of Huet and L
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
IJBC
2008
13 years 5 months ago
2008
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...