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 1983

An Interpretability Approach to the Theory of Abstract Data Types 1

Wiktor Dańko

Fundamenta Informaticae

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

Retricted access

Research article

First published 1986

Continuous Abstract Data Types

Andrzej Tarlecki, Martin Wirsing

Fundamenta Informaticae

Retricted access

Research article

First published 2002-12

Are Black Boxes Transparent?— High School Students' Strategies of Using Abstract Data Types

Bruria Haberman, Ehud Shapiro, Zahava Scherz

Journal of Educational Computing Research

Search results