Continuous time temporal logic with counting (Q418179): Difference between revisions

@@ Property / author @@
-Joram Hirschfeld
@@ Property / author: Joram Hirschfeld / rank @@
-Normal rank
@@ Property / author @@
+Joram Hirschfeld
@@ Property / author: Joram Hirschfeld / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038309
@@ Property / zbMATH DE Number: 6038309 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2011.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1993445249
@@ Property / OpenAlex ID: W1993445249 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251919
@@ Property / cites work: Q4251919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938638
@@ Property / cites work: Q4938638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945224
@@ Property / cites work: Q4945224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824483
@@ Property / cites work: Q4824483 / rank @@
+Normal rank
@@ Property / cites work @@
+Timer formulas and decidable metric temporal logic
+Normal rank
@@ Property / cites work @@
+Expressiveness of Metric modalities for continuous time
+Normal rank
@@ Property / cites work @@
+Decidable metric logics
@@ Property / cites work: Decidable metric logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
+Normal rank
@@ Property / cites work @@
+Complexity of metric temporal logics with counting and the Pnueli modalities
+Normal rank
@@ Property / cites work @@
+Q4251916
@@ Property / cites work: Q4251916 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362730
@@ Property / cites work: Q4362730 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418179