Matches in DBpedia 2016-04 for { <http://doi.org/10.1093/logcom/11.3.363> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 11.3.363 author "Kamareddine, Fairouz".
- 11.3.363 doi "10.1093/logcom/11.3.363".
- 11.3.363 isCitedBy De_Bruijn_notation.
- 11.3.363 issn "0955-792X".
- 11.3.363 issue "3".
- 11.3.363 journal Logic_and_Computation.
- 11.3.363 pages "363–394".
- 11.3.363 title "Reviewing the classical and the De Bruijn notation for λ-calculus and pure type systems".
- 11.3.363 volume "11".
- 11.3.363 year "2001".