Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 99894 von 2704311 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1384334947
Titel Flavors of Quantifiers in Hyperlogics / Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Person(en) Chalupa, Marek (Verfasser)
Henzinger, Thomas A. (Verfasser)
Oliveira Da Costa, Ana Alexandra (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-251016
DOI: 10.4230/LIPIcs.FSTTCS.2025.20
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2025.20 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2025, Volume 360, 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025), page 20:1-20:18
DDC-Notation 634.9 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 630 Landwirtschaft, Veterinärmedizin

Online-Zugriff Archivobjekt öffnen




Treffer 99894 von 2704311
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration