Matches in DBpedia 2015-10 for { <http://doi.org/10.1305/ndjfl/1093634655> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 1093634655 authorLink "J. Roger Hindley".
- 1093634655 doi "10.1305/ndjfl/1093634655".
- 1093634655 first "J. Roger".
- 1093634655 isCitedBy Condensed_detachment.
- 1093634655 issue "2".
- 1093634655 journal Notre_Dame_Journal_of_Formal_Logic.
- 1093634655 last "Hindley".
- 1093634655 mr "1231287".
- 1093634655 pages "231–250".
- 1093634655 title "BCK and BCI logics, condensed detachment and the 2-property".
- 1093634655 url 1093634655.
- 1093634655 volume "34".
- 1093634655 year "1993".