h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Counting in Team Semantics

;

In
25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier, Seiten/Artikel-Nr: 35, 18 Seiten

Konferenz/Event:25. EACSL Annual Conference on Computer Science Logic , Marseille , France , CSL 2016 , 2016-08-29 - 2016-09-01

ImpressumWadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Umfang35, 18 Seiten

ISBN978-3-95977-022-4

ReiheLeibniz International Proceedings in Informatics (LIPIcs) ; 62

Online
DOI: 10.4230/LIPIcs.CSL.2016.35

DOI: 10.18154/RWTH-CONV-211652
URL: https://publications.rwth-aachen.de/record/680730/files/680730.pdf

Einrichtungen

  1. Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
  2. Fachgruppe Mathematik (110000)


Inhaltliche Beschreibung (Schlagwörter)
fixed-point logic with counting (frei) ; logics with counting (frei) ; team semantics (frei)

OpenAccess:
Download fulltext PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85012905698

Interne Identnummern
RWTH-CONV-211652
Datensatz-ID: 680730

Beteiligte Länder
Germany

 GO

Creative Commons Attribution CC BY 3.0 ; OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Mathematics and Natural Sciences (Fac.1) > Department of Mathematics
Publication server / Open Access
Public records
Publications database
110000
117220
 Record created 2016-12-21, last modified 2025-11-06
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)