skip to main content
Idioma:

Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings

International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank Pfenning

Berlin Springer New York 2006

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
  • Autor: International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.)
  • Frank Pfenning
  • Assuntos: TEORIA DA COMPUTAÇÃO (CONGRESSOS); LINGUAGENS FORMAIS (CONGRESSOS); Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
  • Notas: Includes bibliographical references and index
  • Descrição: Formal verification of infinite state systems using Boolean methods / Solving partial order constraints for LPO termination / Computationally equivalent elimination of conditions / On the correctness of bubbling / Propositional tree automata / Generalizing Newman's lemma for left-linear rewrite systems / Unions of equational monadic theories / Modular Church-Rosser modulo / Hierarchical combination of intruder theories / Feasible trace reconstructing for rewriting approximations / Javier Esparza : rewriting models of Boolean programs / Syntactic descriptions : a type system for solving matching equations in the linear [lambda]-calculus / A terminating and confluent linear lambda calculus / A lambda-calculus with constructors / Structural proof theory as rewriting / Checking conservativity of overloaded definitions in higher-order logic / Certified higher-order recursive path ordering / Dealing with non-orientable equations in rewriting induction / TPA : termination proved automatically / RAPT : a program transformation system based on term rewriting / The CL-Atse protocol analyser / Slothrop : knuth-bendix completion with a modern termination checker /
  • Títulos relacionados: Série:Lecture notes in computer science 4098 0302-9743
  • Editor: Berlin Springer New York
  • Data de criação/publicação: 2006
  • Formato: xiii, 414 p ill 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.