Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-3

Uniform Generation of Languages by Scattered Context Grammars

Alexander Meduna

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 1995-8

NARROWING STRATEGIES FOR ARBITRARY CANONICAL REWRITE SYSTEMS

Alexander Bockmayr, Stefan Krischer, Andreas Werner

Fundamenta Informaticae

Open access

Research article

First published 2019-6

An accurate and efficient series solution for the longitudinal vibration of elastically restrained rods with arbitrarily variable cross sections

Deshui Xu, Jingtao Du, Zhigang Liu

Journal of Low Frequency Noise,Vibration and Active Control

Retricted access

Research article

First published 2003-2

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

Amin Coja-Oghlan, Mark-Olivier Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2013-6

The Complexity of Szilard Languages of Matrix Grammars Revisited

Liliana Cojocaru, Erkki Mäkinen

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8

Thirteenth Annual Brown Lecture in Education Research: Public Education and the Social Contract: Restoring the Promise in an Age of Diversity and Division

Marta Tienda

Educational Researcher

Retricted access

Research article

First published 2020-4-21

Maybe tainted data: Theory and a case study

Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark

Journal of Computer Security

Search results