6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959771917
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 195
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2021
- Contributor
-
Kobayashi, Naoki
- URN
-
urn:nbn:de:0030-drops-142371
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kobayashi, Naoki
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2021
Other Objects (12)
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Foundations of software science and computation structures : 6th international conference ; proceedings
Algorithms and computation : 6th international workshop ; proceedings
Automated deduction in geometry : 6th international workshop ; revised papers
Hybrid systems : computation and control ; 6th international workshop ; proceedings
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Foundations of software science and computation structures : 6th international conference ; proceedings
Algorithms and computation : 6th international workshop ; proceedings
Automated deduction in geometry : 6th international workshop ; revised papers
Hybrid systems : computation and control ; 6th international workshop ; proceedings
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Foundations of software science and computation structures : 6th international conference ; proceedings
Algorithms and computation : 6th international workshop ; proceedings
Automated deduction in geometry : 6th international workshop ; revised papers