EPTCS 101 - LINEARITY 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-3480
- ask others
Sandra Alves, Ian Mackie (Eds.): Proceedings 2nd International Workshop on Linearity. 2012 EPTCS 101 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4097
- ask others
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli: Standardization in resource lambda-calculus. ... 1-11
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4102
- ask others
Eugen Jiresch: Extending the Interaction Nets Calculus by Generic Rules. ... 12-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4098
- ask others
Maribel Fernández, Sébastien Maulat: Higher-order port-graph rewriting. ... 25-37
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4099
- ask others
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos: Linearly Refined Session Types. ... 38-49
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4100
- ask others
Yuxin Deng, Iliano Cervesato, Robert J. Simmons: Relating Reasoning Methodologies in Linear Logic and Process Algebra. ... 50-60