Search results: Sage Journals

Restricted accessResearch articleFirst published December, 2012

On Realisability Semantics for Intersection Types with Expansion Variables

Fairouz Kamareddine, Karim Nour, Vincent Rahli [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1995

Yasushi Kiyoki, Takashi Kitagawa, Youichi Hitomi

Integrated Computer-Aided Engineering

Restricted accessResearch articleFirst published October 24, 2018

Joe Davidson, Greg Michaelson

Computability

Free accessResearch articleFirst published February, 2010

Tom Heath

Semantic Web: – Interoperability,Usability,Applicability

Free accessResearch articleFirst published January 31, 2020

Aidan Hogan

Semantic Web: – Interoperability,Usability,Applicability

Free accessResearch articleFirst published March, 2015

Alan Bundy, Gintautas Sasnauskas, Michael Chan

Semantic Web: – Interoperability,Usability,Applicability

Open accessResearch articleFirst published February, 2025

Rebecca Hart, Robert H. Logie, Louise A. Brown Nicholls

Quarterly Journal of Experimental Psychology

Restricted accessResearch articleFirst published October, 1996

Mark Levene, George Loizou

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2009

Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published June 13, 2024

Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo [...]

Applied Ontology