Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023): Difference between revisions

From MaRDI portal
Page on [mardi] deleted: Publication:2922023
Merged Item from Q5369243
 
description / endescription / en
 
scientific article; zbMATH DE number 6791401
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1407.03004 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1145/3091124 / rank
 
Normal rank
Property / published in
 
Property / published in: ACM Transactions on Computational Logic / rank
 
Normal rank
Property / publication date
 
16 October 2017
Timestamp+2017-10-16T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / publication date: 16 October 2017 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q15 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6791401 / rank
 
Normal rank
Property / zbMATH Keywords
 
automata with advice
Property / zbMATH Keywords: automata with advice / rank
 
Normal rank
Property / zbMATH Keywords
 
monadic predicates
Property / zbMATH Keywords: monadic predicates / rank
 
Normal rank
Property / zbMATH Keywords
 
morphic predicates
Property / zbMATH Keywords: morphic predicates / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2746167094 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:07, 6 May 2024

scientific article; zbMATH DE number 6791401
Language Label Description Also known as
English
Monadic Second-Order Logic with Arbitrary Monadic Predicates
scientific article; zbMATH DE number 6791401

    Statements

    Monadic Second-Order Logic with Arbitrary Monadic Predicates (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    14 October 2014
    0 references
    16 October 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    automata with advice
    0 references
    monadic predicates
    0 references
    morphic predicates
    0 references
    0 references