Journal

Fundamenta Informaticae

IOS Press. Logic, Reasoning, and Knowledge. 4,453 works and 50,002 citations indexed by CitedEvidence.

Works
4,453
Citations
50,002
H-index
82
ISSN
0169-2968
Open access
No
Impact
0.6

Research Topics

Logic, Reasoning, and KnowledgeFormal Methods in VerificationLogic, programming, and type systemsRough Sets and Fuzzy Logicsemigroups and automata theoryAdvanced Algebra and LogicDNA and Biological ComputingPetri Nets in System ModelingSemantic Web and OntologiesComputability, Logic, AI Algorithms