Matches in DBpedia 2015-10 for { <http://hal.archives-ouvertes.fr/docs/00/15/42/04/PDF/critere.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- critere.pdf accessdate "2011-05-23".
- critere.pdf chapter "A topological correctness criterion for non-commutative logic".
- critere.pdf editor "Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and Philip Scott".
- critere.pdf first "Paul-André".
- critere.pdf isCitedBy Partial_cyclic_order.
- critere.pdf last "Melliès".
- critere.pdf pages "283–323".
- critere.pdf title "Linear Logic in Computer Science".
- critere.pdf url critere.pdf.
- critere.pdf year "2004".