Pages that link to "Item:Q163528"
From MaRDI portal
The following pages link to Electronic Notes in Theoretical Computer Science (Q163528):
Displaying 50 items.
- Refinement quantified logics of knowledge (Q2825410) (← links)
- Clausal tableaux for hybrid PDL (Q2825411) (← links)
- Expressiveness of hybrid temporal logic on data words (Q2825412) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- A rooted tableau for \(\mathrm{BCTL}^*\) (Q2825414) (← links)
- A tableau calculus for minimal modal model generation (Q2825415) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- LotrecScheme (Q2825417) (← links)
- Expressive completeness for LTL with modulo counting and group quantifiers (Q2825418) (← links)
- On a logic for coalitional games with priced-resource agents (Q2825419) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- An epistemic logic of extensive games (Q2825421) (← links)
- Open and closed questions in decision-making (Q2825422) (← links)
- A logical model of the dynamics of peer pressure (Q2825423) (← links)
- On the symbolic reduction of processes with cryptographic functions (Q2841212) (← links)
- The practice of cryptographic protocol verification (Q2841213) (← links)
- Towards an awareness-based semantics for security protocol analysis (Q2841215) (← links)
- Abstract interpretation for proving secrecy properties in security protocols (Q2841216) (← links)
- Attacking fair-exchange protocols: parallel models vs. trace models (Q2841217) (← links)
- Models for an adversary-centric protocol logic (Q2841218) (← links)
- Information based reasoning about security protocols (Q2841219) (← links)
- Evaluation strategies for functional logic programming (Q2841220) (← links)
- Declarative debugging of functional logic programs (Q2841221) (← links)
- Just-in-time: on strategy annotations (Q2841222) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- Fusing logic and control with local transformations: an example optimization (Q2841226) (← links)
- The simple type theory of normalisation by evaluation (Q2841227) (← links)
- Reduction strategies for declarative programming (Q2841228) (← links)
- Hot topics in reduction strategies -- a panelist's view (Q2841229) (← links)
- Is strategic programming a viable paradigm? (Q2841230) (← links)
- A first-order syntax for the \(\pi\)-calculus in Isabelle/HOL using permutations (Q2841231) (← links)
- The mechanisation of Barendregt-style equational proofs (the residual perspective) (Q2841232) (← links)
- Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- A representation of \(F_{\omega}\) in LF (Q2841235) (← links)
- A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
- Mechanical software verification: high level control aspects from a user's perspective (Q2841237) (← links)
- A logic for rewriting strategies (Q2841238) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- A pragmatic approach to reuse in tactical theorem proving (Q2841242) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- Interpreting abstract interpretations in membership equational logic (Q2841246) (← links)
- MGS: a rule-based programming language for complex objects and collections (Q2841247) (← links)
- Transformation of shaped nested graphs and diagrams (Q2841248) (← links)
- Certifying term rewriting proofs in ELAN (Q2841249) (← links)
- Knuth-Bendix completion for non-symmetric transitive relations (Q2841250) (← links)
- Syntactic theories in practice (Q2841251) (← links)
