Results 341 to 346 of about 1,341,656 (346)
Some of the next articles are maybe not open access.
Substructural Operational Semantics as Ordered Logic Programming
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009F. Pfenning, R. Simmons
semanticscholar +1 more source

