Find link

language:

Find link is a tool written by Edward Betts.

searching for Electronic Proceedings in Theoretical Computer Science 27 found (31 total)

alternate case: electronic Proceedings in Theoretical Computer Science

DisCoCat (1,503 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/EPTCS

ZX-calculus (2,748 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:2015arXiv150703854B

Session type (898 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/EPTCS

Cutting 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/EPTCS

Descriptional 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, Martin

Message 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:10

Formal methods (3,643 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/EPTCS

Cooperating Validity Checker (1,994 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/EPTCS

Quantum natural language processing (640 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/EPTCS

FinVect (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/EPTCS

OR-Tools (469 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:10

Constrained Horn clauses (593 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/EPTCS

Computer algebra system (1,799 words) [view diff] exact match in snippet view article find links to article

and Automated Methods in Mathematics Education". Electronic Proceedings in Theoretical Computer Science. 375: 2–23. arXiv:2303.10166. doi:10.4204/EPTCS

Compositional game theory (748 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. arXiv:2101

TAPAAL 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/EPTCS

List of model checking tools (1,199 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:10

Premonoidal category (644 words) [view diff] exact match in snippet view article find links to article

and String Diagrams for Effectful Categories". Electronic Proceedings in Theoretical Computer Science. 380: 344–361. arXiv:2205.07664. doi:10.4204/EPTCS

Rule 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/EPTCS

Cheryl's Birthday (1,985 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.251

Multitier 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/EPTCS

Reduction strategy (2,608 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/EPTCS

Elementary cellular automaton (2,819 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.1

Krivine machine (1,911 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 Mathematically

Flix (programming language) (3,274 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/EPTCS

Quantum Bayesianism (8,310 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/EPTCS

Quantum contextuality (5,857 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.95

Refocusing (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