Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 3 of 13 found articles
 
 
  Enumerating teams in first-order team logics
 
 
Title: Enumerating teams in first-order team logics
Author: Haak, Anselm
Meier, Arne
Müller, Fabian
Vollmer, Heribert
Appeared in: Annals of pure and applied logic
Paging: Volume 173 () nr. 10 pages p.
Year: 2022
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 3 of 13 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands