Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0890-5401(03)00138-x> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s0890-5401(03)00138-x author "Pitts, Andy M.".
- s0890-5401(03)00138-x doi "10.1016/S0890-540100138-X".
- s0890-5401(03)00138-x isCitedBy De_Bruijn_index.
- s0890-5401(03)00138-x issn "0890-5401".
- s0890-5401(03)00138-x issue "2".
- s0890-5401(03)00138-x journal Information_and_Computation.
- s0890-5401(03)00138-x pages "165–193".
- s0890-5401(03)00138-x title "Nominal Logic: A First Order Theory of Names and Binding".
- s0890-5401(03)00138-x volume "186".
- s0890-5401(03)00138-x year "2003".