Search results: Sage Journals

Retricted accessResearch articleFirst published September, 1985

Logic Programming as a Means of Representing Semantics in Design Languages

J S Gero, R D Coyne

Environment and Planning B: Urban Analytics and City Science

Retricted accessResearch articleFirst published 1978

SOL: an exercise in defining a language

A. Maggiolo-Schettini, G. Uccella

Fundamenta Informaticae

Retricted accessResearch articleFirst published 1980

Completions of ordered magmas

Bruno Courcelle, Jean-Claude Raoult

Fundamenta Informaticae

Retricted accessResearch articleFirst published February, 1997

HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES

Christel Baier, Mila Majster-Cederbaum

Fundamenta Informaticae

Available accessResearch articleFirst published October, 2006

Interactive Systems with Registers and Voices

Gheorghe Stefanescu

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2008

On the Relationship between Description Logic-based and F-Logic-based Ontologies

Jos de Bruijn, Stijn Heymans

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2014

Towards a Formal Representation of Interactive Systems

Iulia Teodora Banu-Demergian, Gheorghe Stefanescu

Fundamenta Informaticae

Available accessResearch articleFirst published 2025

Semantic drawn robot language a method to extract robotic programs from physically drawn symbols

Jens Pedersen, Jakob Sieder-Semlitsch

International Journal of Architectural Computing

Retricted accessResearch articleFirst published June, 2017

Application of a lexical-semantic intervention programme for students with Specific Language Impairment / Aplicación de un programa de intervención léxico-semántica en alumnado con Trastorno Específico del Lenguaje

Ángeles Axpe, Víctor Acosta, Ana Moreno [...]

Culture and Education: Cultura y Educación

Available accessResearch articleFirst published November, 1999

Applying Techniques of Asynchronous Concurrency to Synchronous Languages

Andrea Maggiolo-Schettini, Simone Tini

Fundamenta Informaticae

Retricted accessResearch articleFirst published September, 1985

Logic Programming as a Means of Representing Semantics in Design Languages

J S Gero, R D Coyne

Environment and Planning B: Urban Analytics and City Science

Retricted accessResearch articleFirst published 1978

SOL: an exercise in defining a language

A. Maggiolo-Schettini, G. Uccella

Fundamenta Informaticae

Retricted accessResearch articleFirst published 1980

Completions of ordered magmas

Bruno Courcelle, Jean-Claude Raoult

Fundamenta Informaticae

Retricted accessResearch articleFirst published February, 1997

HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES

Christel Baier, Mila Majster-Cederbaum

Fundamenta Informaticae

Available accessResearch articleFirst published October, 2006

Interactive Systems with Registers and Voices

Gheorghe Stefanescu

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2008

On the Relationship between Description Logic-based and F-Logic-based Ontologies

Jos de Bruijn, Stijn Heymans

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2014

Towards a Formal Representation of Interactive Systems

Iulia Teodora Banu-Demergian, Gheorghe Stefanescu

Fundamenta Informaticae

Available accessResearch articleFirst published 2025

Semantic drawn robot language a method to extract robotic programs from physically drawn symbols

Jens Pedersen, Jakob Sieder-Semlitsch

International Journal of Architectural Computing

Retricted accessResearch articleFirst published June, 2017

Application of a lexical-semantic intervention programme for students with Specific Language Impairment / Aplicación de un programa de intervención léxico-semántica en alumnado con Trastorno Específico del Lenguaje

Ángeles Axpe, Víctor Acosta, Ana Moreno [...]

Culture and Education: Cultura y Educación

Available accessResearch articleFirst published November, 1999

Applying Techniques of Asynchronous Concurrency to Synchronous Languages

Andrea Maggiolo-Schettini, Simone Tini

Fundamenta Informaticae