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 #151 to #200.

scientific article; zbMATH DE number 7180838: Label: en
scientific article; zbMATH DE number 7180777: Label: en
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics: Label: en
scientific article; zbMATH DE number 7180604: Label: en
scientific article; zbMATH DE number 7180603: Label: en
Proceedings 14th International Conference on Quantum Physics and Logic: Label: en
Proceedings 13th International Conference on Quantum Physics and Logic: Label: en
Proceedings 12th International Workshop on Quantum Physics and Logic: Label: en
Proceedings of the 11th workshop on Quantum Physics and Logic: Label: en
scientific article; zbMATH DE number 7180598: Label: en
Proceedings 9th Workshop on Quantum Physics and Logic: Label: en
Proceedings 14th International Conference on Automata and Formal Languages: Label: en
Proceedings 15th International Conference on Automata and Formal Languages: Label: en
scientific article; zbMATH DE number 7167652: Label: en
scientific article; zbMATH DE number 7167503: Label: en
scientific article; zbMATH DE number 7168249: Label: en
scientific article; zbMATH DE number 7168069: Label: en
Proceedings Fifth Interaction and Concurrency Experience: Label: en
Proceedings Fourth Workshop on Mathematically Structured Functional Programming: Label: en
scientific article; zbMATH DE number 7239949: Label: en
Proceedings Tenth International Workshop on Computing with Terms and Graphs: Label: en
Proceedings 9th International Workshop on Computing with Terms and Graphs: Label: en
scientific article; zbMATH DE number 7239935: Label: en
scientific article; zbMATH DE number 7214004: Label: en
scientific article; zbMATH DE number 7214003: Label: en
scientific article; zbMATH DE number 7214002: Label: en
Proceedings First Workshop on Horn Clauses for Verification and Synthesis: Label: en
Proceedings Sixth International Workshop on Classical Logic and Computation: Label: en
scientific article; zbMATH DE number 7199361: Label: en
scientific article; zbMATH DE number 7195222: Label: en
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification: Label: en
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification: Label: en
scientific article; zbMATH DE number 7552941: Label: en
scientific article; zbMATH DE number 7552940: Label: en
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications: Label: en
scientific article; zbMATH DE number 7552938: Label: en
scientific article; zbMATH DE number 7552937: Label: en
scientific article; zbMATH DE number 7552936: Label: en
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving: Label: en
scientific article; zbMATH DE number 7552934: Label: en
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving: Label: en
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Label: en
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications: Label: en
Proceedings 16th Logical and Semantic Frameworks with Applications: Label: en
scientific article; zbMATH DE number 7545243: Label: en
scientific article; zbMATH DE number 7545242: Label: en
scientific article; zbMATH DE number 7545241: Label: en
Proceedings 14th Interaction and Concurrency Experience: Label: en
scientific article; zbMATH DE number 7545239: Label: en
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications: Label: en