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 2 of 14 found articles
 
 
  Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
 
 
Title: Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
Author: Adsul, Bharat
Sarkar, Saptarshi
Sreejith, A.V.
Appeared in: Journal of computer and system sciences
Paging: Volume 136 () nr. C pages 302-326
Year: 2023
Contents:
Publisher: Elsevier Inc.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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