Search Results - "2012 ACM Subject Classification Theory of computation → Models of computation"
-
1
Authors: et al.
Contributors: et al.
Source: FSCD 2022, International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-03786122 ; FSCD 2022, International Conference on Formal Structures for Computation and Deduction, 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.17⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Models of computation, Theory of computation → Equational logic and rewriting, Theory of computation → Lambda calculus phrases rewriting, strategies, normalization, lambda calculus, probabilistic rewriting, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Nájsť tento článok vo Web of Science