Sage Journals: Discover world-class research

Retricted access

Research article

First published 1986

Algebraic Theories,Data Types,and Control Constructs

Eric G. Wagner

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

PSF - A Retrospective

Gerrit Jan Veltink

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 1982

The Equational Specification of Finite Minimal Unoids Using only Unary Hidden Functions

Jan A. Bergstra, John-Jules Ch. Meyer

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

Open access

Research article

First published 2023-9

The conceptual difficulties Saudi female ELL students encountered in learning algebra: A case of a college preparatory program

Russina A Eltoum

Asian Journal for Mathematics Education

Retricted access

Research article

First published 2014-4

Relationships between Classroom Schedule Types and Performance on the Algebra I Criterion-Referenced Test

Gregory V. Murray, Patricia S. Moyer-Packenham

Journal of Education

Retricted access

Research article

First published 2023-11-04

Remarks regarding some Algebras of Logic

Mariana Floricica Călin, Cristina Flaut, Dana Piciu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1993

Conservativity of Equational Theories in Typed Lambda Calculi 1

Val Breazu-Tannen, Albert R. Meyer

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Finding Symmetries of Algebraic System Nets

Tommi A. Junttila

Fundamenta Informaticae

Search results