iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/foiks/FerrarottiT06.rdf
Flavio Antonio Ferrarotti and Jose Maria Turull Torres: Arity and Alternation: A Proper Hierarchy in Higher Order Logics. (2006) conf/foiks/FerrarottiT06 10.1007/11663881_7 Arity and Alternation: A Proper Hierarchy in Higher Order Logics. 2 Flavio Antonio Ferrarotti 1 Jose Maria Turull Torres 2 92-115 FoIKS FoIKS 2006 2006 provenance information for RDF data of dblp record 'conf/foiks/FerrarottiT06' 2018-11-02T09:42:20+0100