language:
Find link is a tool written by Edward Betts.searching for Electronic Proceedings in Theoretical Computer Science 25 found (29 total)
alternate case: electronic Proceedings in Theoretical Computer Science
DisCoCat
(1,467 words)
[view diff]
exact match in snippet
view article
find links to article
for Compositional Natural Language Processing". Electronic Proceedings in Theoretical Computer Science. 221: 67–75. arXiv:1608.01406. doi:10.4204/EPTCSZX-calculus (2,725 words) [view diff] exact match in snippet view article find links to article
the stabilizer ZX-calculus complete for scalars". Electronic Proceedings in Theoretical Computer Science. 195: 17–32. arXiv:1507.03854. Bibcode:2015arXiv150703854BSession type (876 words) [view diff] exact match in snippet view article find links to article
Variation: Deadlock-free Sessions with Failure in Rust". Electronic Proceedings in Theoretical Computer Science. 304: 48–60. arXiv:1909.05970. doi:10.4204/EPTCSDescriptional Complexity of Formal Systems (535 words) [view diff] exact match in snippet view article find links to article
October 2009. Online edition accessed Nov 24, 2009. Electronic Proceedings in Theoretical Computer Science, official website. Holzer, Markus; Kutrib, MartinCutting sequence (120 words) [view diff] exact match in snippet view article find links to article
T. (2011). "The complexity of tangent words". Electronic Proceedings in Theoretical Computer Science. 63: 152–157. arXiv:1108.3632. doi:10.4204/EPTCSMessage Authenticator Algorithm (945 words) [view diff] exact match in snippet view article find links to article
Analysis of Real Systems (MARS'17), Uppsala, Sweden. Electronic Proceedings in Theoretical Computer Science. Vol. 244. pp. 129–183. arXiv:1703.06573. doi:10Formal methods (3,624 words) [view diff] exact match in snippet view article find links to article
(2021-09-13). "Competition Report: CHC-COMP-21". Electronic Proceedings in Theoretical Computer Science. 344: 91–108. arXiv:2008.02939. doi:10.4204/EPTCSQuantum natural language processing (532 words) [view diff] exact match in snippet view article find links to article
for Compositional Natural Language Processing". Electronic Proceedings in Theoretical Computer Science. 221: 67–75. arXiv:1608.01406. doi:10.4204/EPTCSCooperating Validity Checker (1,995 words) [view diff] exact match in snippet view article find links to article
(2016-02-02). "Results and Analysis of SyGuS-Comp'15". Electronic Proceedings in Theoretical Computer Science. 202: 3–26. arXiv:1602.01170. doi:10.4204/EPTCSOR-Tools (468 words) [view diff] exact match in snippet view article find links to article
Challenge on the Job-Shop Scheduling Problem". Electronic Proceedings in Theoretical Computer Science. 306. Open Publishing Association: 259–265. doi:10FinVect (195 words) [view diff] exact match in snippet view article find links to article
Alexis (2020). "Functorial question answering". Electronic Proceedings in Theoretical Computer Science. 323: 84–94. arXiv:1905.07408. doi:10.4204/EPTCSTAPAAL Model Checker (509 words) [view diff] exact match in snippet view article find links to article
Reachability Algorithm for Bounded Timed-Arc Petri Nets". Electronic Proceedings in Theoretical Computer Science. 102: 141–155. arXiv:1211.6194. doi:10.4204/EPTCSConstrained Horn clauses (584 words) [view diff] exact match in snippet view article find links to article
(2021-09-10). "Competition Report: CHC-COMP-21". Electronic Proceedings in Theoretical Computer Science. 344: 91–108. arXiv:2109.04635v1. doi:10.4204/EPTCSCompositional game theory (745 words) [view diff] exact match in snippet view article find links to article
"Compositional Game Theory, Compositionally". Electronic Proceedings in Theoretical Computer Science. 333. Online, United States: 198–214. doi:10.4204/eptcsList of model checking tools (1,176 words) [view diff] exact match in snippet view article find links to article
Transformation (MARS/VPT’18), Thessaloniki, Greece. Electronic Proceedings in Theoretical Computer Science. Vol. 268. pp. 104–149. arXiv:1803.10324v1. doi:10Rule 110 (2,025 words) [view diff] exact match in snippet view article find links to article
N. (eds.). The Complexity of Simple Programs. Electronic Proceedings in Theoretical Computer Science. Vol. 1. pp. 31–55. arXiv:0906.3248v1. doi:10.4204/EPTCSCheryl's Birthday (1,948 words) [view diff] exact match in snippet view article find links to article
Jonathan; Yeo, Joseph B.W. (2017). "Cheryl's Birthday". Electronic Proceedings in Theoretical Computer Science. 251: 1–9. arXiv:1708.02654. doi:10.4204/EPTCS.251Multitier programming (2,772 words) [view diff] exact match in snippet view article find links to article
Programming with Row Polymorphic Effect Types". Electronic Proceedings in Theoretical Computer Science. 153: 100–126. arXiv:1406.2061. doi:10.4204/EPTCSReduction strategy (2,602 words) [view diff] exact match in snippet view article find links to article
"Labelled Lambda-calculi with Explicit Copy and Erase". Electronic Proceedings in Theoretical Computer Science. 22: 49–64. arXiv:1003.5515v1. doi:10.4204/EPTCSElementary cellular automaton (2,803 words) [view diff] exact match in snippet view article find links to article
(2009-06-25). "A Concrete View of Rule 110 Computation". Electronic Proceedings in Theoretical Computer Science. 1: 31–55. arXiv:0906.3248. doi:10.4204/EPTCS.1Krivine machine (1,901 words) [view diff] exact match in snippet view article find links to article
formal derivation of an executable Krivine machine". Electronic Proceedings in Theoretical Computer Science. 76. Proceedings of the Fourth Workshop on MathematicallyFlix (programming language) (3,307 words) [view diff] exact match in snippet view article
Programming with Row Polymorphic Effect Types". Electronic Proceedings in Theoretical Computer Science. 153: 100–126. arXiv:1406.2061. doi:10.4204/EPTCSQuantum Bayesianism (8,316 words) [view diff] exact match in snippet view article find links to article
"Quantum theory is a quasi-stochastic process theory". Electronic Proceedings in Theoretical Computer Science. 266 (2018): 179–196. arXiv:1704.08525. doi:10.4204/EPTCSQuantum contextuality (5,898 words) [view diff] exact match in snippet view article find links to article
Cohomology of Non-Locality and Contextuality". Electronic Proceedings in Theoretical Computer Science. 95: 1–14. arXiv:1111.3620. doi:10.4204/EPTCS.95Refocusing (semantics) (2,786 words) [view diff] exact match in snippet view article
formal derivation of an executable Krivine machine". Electronic Proceedings in Theoretical Computer Science. 76. Proceedings of the Fourth Workshop on Mathematically