Optimizations of Rough Set Model

JOURNAL ARTICLE published 1998 in Fundamenta Informaticae

Authors: Jaroslaw Stepaniuk

Investigations of properties of programs by means of the extended algorithmic logic II1

JOURNAL ARTICLE published 1 August 1977 in Fundamenta Informaticae

Authors: Lech Banachowski

Church–Rosser Made Easy

JOURNAL ARTICLE published 2010 in Fundamenta Informaticae

Authors: Dexter Kozen

On the Density of Regular Languages

JOURNAL ARTICLE published 24 July 2019 in Fundamenta Informaticae

Authors: Toshihiro Koga

A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3

JOURNAL ARTICLE published 7 March 2022 in Fundamenta Informaticae

Authors: Jiří Šíma | Stanislav Žák

Complexity of Type Inference

JOURNAL ARTICLE published 2010 in Fundamenta Informaticae

Authors: Jerzy Tyszkiewicz

Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)

JOURNAL ARTICLE published 2009 in Fundamenta Informaticae

Authors: Yingxu Wang | Du Zhang | Shusaku Tsumoto

Simple SubTypes of Intersection Types

JOURNAL ARTICLE published 18 October 2019 in Fundamenta Informaticae

Authors: Rick Statman

Editors: Thorsten Altenkirch | Aleksy Schubert

Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis

JOURNAL ARTICLE published 1996 in Fundamenta Informaticae

Authors: Dima Grigoriev | Marek Karpinski | Andrew M. Odlyzko

Towards Automated Consistency Checking of Module Interface Specifications

JOURNAL ARTICLE published 2000 in Fundamenta Informaticae

Authors: Marcin Engel | Artur Kret | Janina Mincer-Daszkiewicz

A Note on Liveness in Generalized Petri Nets

JOURNAL ARTICLE published 1 April 1982 in Fundamenta Informaticae

Authors: Sylvely Sandring | Peter H. Starke

Preface

JOURNAL ARTICLE published 3 March 2017 in Fundamenta Informaticae

Authors: David Baelde | Arnaud Carayol | Ralph Matthes | Igor Walukiewicz

Editors: David Baelde | Arnaud Carayol | Ralph Matthes | Igor Walukiewicz

Can Stubborn Sets Be Optimal?

JOURNAL ARTICLE published 2011 in Fundamenta Informaticae

Authors: Antti Valmari | Henri Hansen

Model Checking Optimisation Based Congestion Control Algorithms

JOURNAL ARTICLE published 2010 in Fundamenta Informaticae

Authors: Alessio Lomuscio | Ben Strulo | Nigel G. Walker | Peng Wu

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

JOURNAL ARTICLE published 2010 in Fundamenta Informaticae

Authors: Alessio Lomuscio | Wojciech Penczek | Hongyang Qu

A Framework for the Verification of Parameterized Infinite-state Systems*

JOURNAL ARTICLE published 3 March 2017 in Fundamenta Informaticae

Authors: Francesco Alberti | Silvio Ghilardi | Natasha Sharygina

Editors: Laura Giordano | Valentina Gliozzi | Alberto Pettorossi | Gian Luca Pozzato

On String Languages Generated by Sequential Numerical P Systems

JOURNAL ARTICLE published 19 August 2016 in Fundamenta Informaticae

Authors: Zhiqiang Zhang | Tingfang Wu | Linqiang Pan

A Formal System for Proving Some Properties of Programs in Iterative Combinatory Spaces

JOURNAL ARTICLE published 1 July 1984 in Fundamenta Informaticae

Authors: Dymiter Skordev

Floating Channels Between Communicating Nets

JOURNAL ARTICLE published 2014 in Fundamenta Informaticae

Authors: Ludwik Czaja

From Data to Pattern Structures: Near Set Approach*

JOURNAL ARTICLE published 14 March 2019 in Fundamenta Informaticae

Authors: Marcin Wolski | Anna Gomolińska

Editors: Wojciech Penczek | Holger Schlingloff | Piotr Wasilewski