Personensuche
X
?
Mathematics in Industry; Nanoelectronic Coupled Problems Solutions ,
1
Automated Generation of Netlists from Electrothermal Field ..:
, In:
?
Mathematics in Industry; Nanoelectronic Coupled Problems Solutions ,
2
Non-Intrusive Methods for the Cosimulation of Coupled Probl..:
, In:
?
Marketing and Smart Technologies; Smart Innovation, Systems and Technologies ,
4
A Trademark Image Retrieval Tool Based on Deep Learning Fea..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
5
The Universal Tangle for Spatial Reasoning:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
6
Fixed Point Logics on Hemimetric Spaces:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
7
Fixed Point Logics and Definable Topological Properties:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
8
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE:
, In:
?
Computational Intelligence and Mathematics for Tackling Complex Problems 4; Studies in Computational Intelligence ,
9
Decidability for $$\mathsf S4$$ Gödel Modal Logics:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
10
The topological mu-calculus : completeness and decidabil..:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
11
A Non-hyperarithmetical Gödel Logic:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
12
Hyperarithmetical Worm Battles:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
13
Some constructive variants of S4 with the finite model prop..:
, In:
?
Lecture Notes in Computer Science; Beyond the Horizon of Computability ,
14
Ackermannian Goodstein Sequences of Intermediate Growth:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
15