Skip to main content
LOGIN
LOGIN
Login with username and password
BORIS Portal
Bern Open Repository and Information System
Publications
Theses
Research Data
Projects
Organizations
Researchers
More
Collections
Statistics
LOGIN
LOGIN
Login with username and password
Unibern.ch
Home
Publications
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
Export
Statistics
More
Options
Show all metadata (technical view)
Details
BORIS DOI
10.48620/85717
Publisher DOI
10.1007/978-3-031-62687-6
Date of Publication
2024
Publication Type
Book
Subject(s)
000 Computer science, knowledge & systems
500 Science
>
510 Mathematics
Language(s)
en
Editor(s)
Metcalfe, George
Mathematisches Institut (MAI) - Logic
Institute of Mathematics
Studer, Thomas
Institute of Computer Science, Logic and Theory Group (LTG)
Institute of Computer Science
de Queiroz, Ruy
Publisher
Springer Nature Switzerland
ISSN
0302-9743
1611-3349
Access(Rights)
metadata.only
Show full item
