Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-8

On Intuitionistic Proof Transformations,their Complexity,and Application to Constructive Program Synthesis

Uwe Egly, Stephan Schmitt

Fundamenta Informaticae

Open access

Research article

First published 2022-10

The natural language processing of radiology requests and reports of chest imaging: Comparing five transformer models’ multilabel classification and a proof-of-concept study

Allard W Olthof, Peter MA van Ooijen, Ludo J Cornelissen

Health Informatics Journal

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1998-8

Wavelets and Mallat's Multiresolution Analysis

Piotr Wojdyłło

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2018

Proof of Multicopy via Proof of File Position in Cloud

Huajun Zhang, Zhenfu Cao, Xiaolei Dong [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2001-12-1

AND/OR-TREE SEARCH ALGORITHMS TN SHOGI MATING SEARCH 1

Makoto Sakuta, Hiroyuki Iida

ICGA Journal: The Journal of the Computer Games Community

Free access

Research article

First published 2000-2

An Algorithm for Transformation of Finite Automata to Regular Expressions

Larisa Stanevichene, Aleksei Vylitok

Informatica: An International Journal of Computing and Informatics

Search results