Programming in metric temporal logic (Q1128978)

From MaRDI portal
Revision as of 14:46, 28 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article
Language Label Description Also known as
English
Programming in metric temporal logic
scientific article

    Statements

    title
    Programming in metric temporal logic (English)
    0 references
    author
    Christoph Brzoska
    0 references
    publication date
    13 August 1998
    0 references
    zbMATH Keywords
    logic programming
    0 references
    temporal logic
    0 references
    temporal data bases
    0 references
    theorem proving
    0 references
    cites work
    Q4138082
    0 references
    Q3490986
    0 references
    Q4285787
    0 references
    Q4072826
    0 references
    Q4839044
    0 references
    Q4342094
    0 references
    Q3716279
    0 references
    Q4385542
    0 references
    Q4264717
    0 references
    Q4082296
    0 references
    Q4028792
    0 references
    Q3729994
    0 references
    Q4733441
    0 references
    Q4012172
    0 references
    Q4733442
    0 references
    Q3999206
    0 references
    Q4698331
    0 references
    Q4051550
    0 references
    Q4136521
    0 references
    Q3749040
    0 references
    Q3339245
    0 references
    Q4391449
    0 references
    Q4716201
    0 references
    Q3680239
    0 references
    Q4518440
    0 references
    Q3746875
    0 references
    Q4518433
    0 references
    Q5556395
    0 references
    Q4342096
    0 references
    Q3138826
    0 references
    Q3710510
    0 references

    Identifiers

    zbMATH DE Number
    1190137
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1128978&oldid=34205495"
    Powered by MediaWiki