FI

Fundamenta Informaticae

Journal

IOS Press

4,482

Publications

48,671

Citations

Loading papers...

Search by keywords

Filter by Type

Article (4,354)
Preprint (118)
Review (6)
Erratum (3)
Paratext (2)

Filter by Open Access Type

Open Access (743)
Closed Access (3,741)

Filter by Authors

Andrzej Skowron (50)
Wojciech Penczek (45)
Grzegorz Rozenberg (41)
Ludwik Czaja (38)
Chin‐Chen Chang (37)

Filter by Topics

Logic, Reasoning, and Knowledge (695)
Formal Methods in Verification (644)
Logic, programming, and type systems (610)
semigroups and automata theory (605)
Rough Sets and Fuzzy Logic (603)