Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #101 to #150.

Mining for Unknown Unknowns: Label: en
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems: Label: en
A Logic-Based Analysis of Responsibility: Label: en
An Abstract Look at Awareness Models and Their Dynamics: Label: en
Cognitive Bias and Belief Revision: Label: en
A Theory of Bounded Inductive Rationality: Label: en
A Formal Proof of the Strong Normalization Theorem for System T in Agda: Label: en
Nominal Sets in Agda - A Fresh and Immature Mechanization: Label: en
Equational Theorem Proving for Clauses over Strings: Label: en
Analyzing Innermost Runtime Complexity Through Tuple Interpretations: Label: en
ReLo: a Dynamic Logic to Reason About Reo Circuits: Label: en
Paraconsistent Transition Systems: Label: en
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract): Label: en
Proceedings of the 16th International Conference on Automata and Formal Languages: Label: en
Proceedings of the Twentieth International Conference on Quantum Physics and Logic: Label: en
scientific article; zbMATH DE number 7741029: Label: en
scientific article; zbMATH DE number 7741009: Label: en
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification: Label: en
scientific article; zbMATH DE number 7741564: Label: en
scientific article; zbMATH DE number 7750607: Label: en
Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation: Label: en
Proceedings Fifth International Conference on Applied Category Theory: Label: en
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge: Label: en
scientific article; zbMATH DE number 7750603: Label: en
Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications: Label: en
Proceedings 15th Interaction and Concurrency Experience: Label: en
scientific article; zbMATH DE number 7750602: Label: en
Proceedings of the Thirteenth International Workshop on Graph Computation Models: Label: en
scientific article; zbMATH DE number 7750600: Label: en
scientific article; zbMATH DE number 7750569: Label: en
scientific article; zbMATH DE number 7242854: Label: en
scientific article; zbMATH DE number 7242853: Label: en
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge: Label: en
scientific article; zbMATH DE number 7242851: Label: en
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge: Label: en
Proceedings 6th Workshop on Mathematically Structured Functional Programming: Label: en
Proceedings 5th Workshop on Mathematically Structured Functional Programming: Label: en
Proceedings 35th International Conference on Logic Programming (Technical Communications): Label: en
scientific article; zbMATH DE number 7100295: Label: en
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification: Label: en
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions: Label: en
scientific article; zbMATH DE number 7184264: Label: en
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics: Label: en
scientific article; zbMATH DE number 7180206: Label: en
Proceedings 1st International Workshop on Synthesis of Continuous Parameters: Label: en
scientific article; zbMATH DE number 7180180: Label: en
scientific article; zbMATH DE number 7180179: Label: en
scientific article; zbMATH DE number 7180172: Label: en
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers: Label: en
scientific article; zbMATH DE number 7185181: Label: en