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 (125)

Journals (0)

1-10 of 125 results for definability in algorithmic logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Definability in algorithmic logic

Retricted access

Research article

First published 1978

Definability in algorithmic logic

Wiktor Dańko

Fundamenta Informaticae

Select article: The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Retricted access

Research article

First published 2009-5

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Eugénie Foustoucos, Labrini Kalantzi

Fundamenta Informaticae

Select article: Structures Determined by Properties of Finite Families of Algorithms

Retricted access

Research article

First published 1985

Structures Determined by Properties of Finite Families of Algorithms

Wiktor Dańko

Fundamenta Informaticae

Select article: Model existence theorem in algorithmic logic with non-deterministic programs 1

Retricted access

Research article

First published 1980

Model existence theorem in algorithmic logic with non-deterministic programs 1

Grażyna Mirkowska

Fundamenta Informaticae

Select article: Algorithmic logics and the construction of cultural taste of the Netflix Recommender System

Retricted access

Research article

First published 2022-5

Algorithmic logics and the construction of cultural taste of the Netflix Recommender System

Fatima Gaw

Media,Culture & Society

Select article: Implicit Definability of Algebraic Structures by Means of Program Properties 1

Retricted access

Research article

First published 1981

Implicit Definability of Algebraic Structures by Means of Program Properties 1

Jan Bergstra, Jerzy Tiuryn

Fundamenta Informaticae

Select article: An Interpretability Approach to the Theory of Abstract Data Types 1

Retricted access

Research article

First published 1983

An Interpretability Approach to the Theory of Abstract Data Types 1

Wiktor Dańko

Fundamenta Informaticae

Select article: A Quantifier-free First-order Knowledge Logic of Authentication

Retricted access

Research article

First published 2006-8

A Quantifier-free First-order Knowledge Logic of Authentication

Mirosław Kurkowski, Marian Srebrny

Fundamenta Informaticae

Select article: Quantitative Verification of Stochastic Regular Expressions

Retricted access

Research article

First published 2021

Quantitative Verification of Stochastic Regular Expressions

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundamenta Informaticae

Select article: Music Recommendation Based on Multidimensional Description and Similarity Measures

Retricted access

Research article

First published 2013-9

Music Recommendation Based on Multidimensional Description and Similarity Measures

Bozena Kostek, Andrzej Kaczmarek

Fundamenta Informaticae

1
2
3
•••
13
10 / page

Article type

Publication date

Subjects

Access