Sage Journals: Discover world-class research

Retricted access

Research article

First published 1988

Towards the Temporal Approach to Abstract Data Types

Andrzej Szalas

Fundamenta Informaticae

Retricted access

Research article

First published 1983

On the Power of Model Theory in Specifying Abstract Data Types and in Capturing Their Recursiveness

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli

Fundamenta Informaticae

Retricted access

Research article

First published 1999-10

A Relation Between Unambiguous Regular Expressions and Abstract Data Types

Viorel Preoteasa

Fundamenta Informaticae

Retricted access

Research article

First published 2005-9

First and Second Order Recursion on Abstract Data Types

Jian Xu, Jeffery Zucker

Fundamenta Informaticae

Retricted access

Research article

First published 2003-11

CHANGE-MERGING OF PSDL ABSTRACT DATA TYPES

David A. Dampier, Vineet Chadha

Journal of Integrated Design and Process Science

Free access

Research article

First published 2008-2

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

Bruria Haberman

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2014-10

An Abstract Interpretation Framework for Type and Effect Systems

Letterio Galletta

Fundamenta Informaticae

Retricted access

Research article

First published 1983

An Interpretability Approach to the Theory of Abstract Data Types 1

Wiktor Dańko

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

The Ladder of Abstraction: A Framework for the Systematic Classification of Democratic Regime Types

Siobhan Daly

Politics

Open access

Research article

First published 2007-2

An Abstract Decision Procedure for a Theory of Inductive Data Types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Journal on Satisfiability,Boolean Modelling and Computation

Search results