Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-1

Formal Description of Alvis Language with α 0 System Layer

Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2015-3

Transforming classic Discrete Event System Specification models to Specification and Description Language

Pau Fonseca i Casas

SIMULATION

Retricted access

Research article

First published 2016-8-19

A Formal and Unified Description of XML Manipulation Languages

Jan Hidders, Jan Paredaens

Fundamenta Informaticae

Open access

Research article

First published 2020-9

How Language Contributes to Stereotype Formation: Combined Effects of Label Types and Negation Use in Behavior Descriptions

Christian Burgers, Camiel J. Beukeboom

Journal of Language and Social Psychology

Retricted access

Research article

First published 2015-1

Limited Automata and Context-Free Languages

Giovanni Pighizzini, Andrea Pisoni

Fundamenta Informaticae

Retricted access

Research article

First published 2017-5-10

An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar

Roussanka Loukanova

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

Generating Maude formal specifications from AUML diagrams

Farid Mokhati, Noura Boudiaf, Linda Badri [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Other

First published 1979-10

Using a Formal Grammatical Description of User Actions to Aid Design

Phyllis Reisner

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2008-9

On Descriptional Complexity of Partially Parallel Grammars

Tomáš Masopust, Alexander Meduna

Fundamenta Informaticae

Retricted access

Research article

First published 1979-9

The Language of Formal Architecture

T Oksala

Environment and Planning B: Urban Analytics and City Science

Search results