You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (105)

Journals (0)

1-10 of 105 results for recursive logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Validation of Recursive Logic in Graphic Design

Retricted access

Research article

First published 2016

Validation of Recursive Logic in Graphic Design

Jinsong Yu, Shengli Chen

Journal of Integrated Design and Process Science

Select article: Temporal Logic and Recursion

Retricted access

Research article

First published 1991

Temporal Logic and Recursion

Fred Kröger, Stephan Merz

Fundamenta Informaticae

Select article: Complexity of Recursive Normal Default Logic

Retricted access

Research article

First published 1997-11

Complexity of Recursive Normal Default Logic

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Fundamenta Informaticae

Select article: Efficient recursive aggregate evaluation in logic programming

Retricted access

Research article

First published 2011-11

Efficient recursive aggregate evaluation in logic programming

Mario Alviano

Intelligenza Artificiale

Select article: Ellipsoidal Lyapunov-based hybrid model predictive control for mixed logical dynamical systems with a recursive feasibility guarantee

Retricted access

Research article

First published 2019-6

Ellipsoidal Lyapunov-based hybrid model predictive control for mixed logical dynamical systems with a recursive feasibility guarantee

Alireza Olama, Mokhtar Shasadeghi, Amin Ramezani [...]

Transactions of the Institute of Measurement and Control

Select article: Algorithmic Logic with Recursive Functions

Retricted access

Research article

First published 1981

Algorithmic Logic with Recursive Functions

Andrzej Szałas

Fundamenta Informaticae

Select article: The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Select article: Solution of the Robot Forward Dynamics Problem by Using a Recursive Procedure Based on the General System Logical Theory

Retricted access

Other

First published 1999-10

Solution of the Robot Forward Dynamics Problem by Using a Recursive Procedure Based on the General System Logical Theory

G. V. Tzvetkova, G. Resconi

The International Journal of Robotics Research

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

Retricted access

Research article

First published 1983

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

Kostas Skandalis

Fundamenta Informaticae

Select article: Programmable Real Numbers and Functions

Retricted access

Research article

First published 1984

Programmable Real Numbers and Functions

Kostas Skandalis

Fundamenta Informaticae

1
2
3
•••
11
10 / page

Article type

Publication date

Subjects

Access