Boolean Functional Synthesis: From Under the Hood of Solvers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Indian Conference on Logic and Its Applications (10. : 2023 : Indore) Logic and its applications
1. Verfasser:	Chakraborty, Supratik (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Big Ideas from Logic for Mathematics and Computing Education	2023	Ramanujam, R.
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability	2023	Jacob, Jeny
A New Dimension of Imperative Logic	2023	Sanyal, Manidipa
Fuzzy Free Logic with Dual Domain Semantics	2023	Paul, Bornali
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering	2023	Sardar, Masiur Rahaman
Relational Semantics for Normal Topological Quasi-Boolean Logic	2023	Wu, Hao
Boolean Functional Synthesis: From Under the Hood of Solvers	2023	Chakraborty, Supratik
Modal Logic of Generalized Separated Topological Spaces	2023	Chen, Qian
An Infinity of Intuitionistic Connexive Logics	2023	Wu, Hao
A Note on the Ontology of Mathematics	2023	Chakraborty, Mihir Kumar
Two Ways to Scare a Gruffalo	2023	Singh, Shikha
Determinacy Axioms and Large Cardinals	2023	Müller, Sandra
Labelled Calculi for Lattice-Based Modal Logics	2023	Berg, Ineke van der
Multiple-Valued Semantics for Metric Temporal Logic	2023	He, Fan
Labelled Calculi for the Logics of Rough Concepts	2023	Berg, Ineke van der