Mri485
发表于 2025-3-23 12:36:25
http://reply.papertrans.cn/83/8300/829965/829965_11.png
摘要记录
发表于 2025-3-23 13:57:30
http://reply.papertrans.cn/83/8300/829965/829965_12.png
Jogging
发表于 2025-3-23 19:26:41
Tree Automata with Height Constraints between Brothers, restrict the applicability of the rules are allowed in ... These constraints allow to express natural tree languages like complete or balanced (like AVL) trees. We prove decidability of emptiness and finiteness for .., and also for a more general class that additionally allows to combine equality a
Confidential
发表于 2025-3-23 23:21:28
An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting,tic Turing machine. The main novelty of the characterization is that it allows very liberal properties of term rewriting, in particular non-deterministic evaluation: no reduction strategy is enforced, and systems are allowed to be non-confluent.
生命
发表于 2025-3-24 05:39:47
http://reply.papertrans.cn/83/8300/829965/829965_15.png
CURT
发表于 2025-3-24 08:23:35
http://reply.papertrans.cn/83/8300/829965/829965_16.png
共和国
发表于 2025-3-24 10:45:00
Self Types for Dependently Typed Lambda Encodings,art with a type-assignment form of the Calculus of Constructions, restricted recursive definitions and Miquel’s implicit product. We add a type construct ..., called a ., which allows . to refer to the subject of typing. We show how the resulting System . with this novel form of dependency supports
Medley
发表于 2025-3-24 14:56:29
First-Order Formative Rules,, formative rules allow dropping some of the term constraints that need to be solved during a termination proof. Compared to the higher-order definition, the first-order setting allows for significant improvements of the technique.
Antagonist
发表于 2025-3-24 20:19:18
Automated Complexity Analysis Based on Context-Sensitive Rewriting,on reduction orders. We show how the monotonicity condition for orders can be weakened by using the notion of context-sensitive rewriting. The presented technique is very easy to implement, even in a modular setting, and has been integrated in the Tyrolean Complexity Tool. We provide ample experimen
headway
发表于 2025-3-25 02:14:52
http://reply.papertrans.cn/83/8300/829965/829965_20.png