Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates

Mario Alviano

Fundamenta Informaticae

Retricted access

Research article

First published 2011-11

Efficient recursive aggregate evaluation in logic programming

Mario Alviano

Intelligenza Artificiale

Retricted access

Research article

First published 2026-1

An event-triggered adaptive dynamic programming control strategy based on recursive terminal sliding mode

Chao Jia, Xueqian Li, Yunjie Zhang [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 1985-5

Children's Mental Models of Recursive Logo Programs

D. Midian Kurland, Roy D. Pea

Journal of Educational Computing Research

Retricted access

Research article

First published 2000-9

Socratic-Dialectic Learning System of Recursion Programming

Kuo-En Chang, Pin-Chieh Lin, Yao-Ting Sung [...]

Journal of Educational Computing Research

Retricted access

Research article

First published 1995-11

Modular programming of recurrences: a comparison of two approaches

Vytautas Čyras, Magne Haveraaen

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2009-5

Program Schemes,Queues,the Recursive Spectrum and Zero-one Laws

Iain A. Stewart

Fundamenta Informaticae

Retricted access

Research article

First published 1983

Programmability in the Set of Real Numbers and Second-Order Recursion

Kostas Skandalis

Fundamenta Informaticae

Retricted access

Research article

First published 2011-11

Finitely recursive programs: Decidability and bottom–up computation

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2005-7

There and Back Again

Olivier Danvy, Mayer Goldberg

Fundamenta Informaticae

Search results