sign in · help · news · about ·

BibSonomy :: user :: minas ::

tag user group author concept BibTeX key search:all search:minas

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(1)

<< < 1 > >>

Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
Hans J. Schneider Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, Springer, (2005)
to 2005 GraTra by minas and 1 other user on Mar 13, 2010, 6:06 PM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper