Alexander Leitsch

• Artículos de revistas (2)
• Colaboraciones en obras colectivas (1)

• Artículos de revistas

  • Seleccionado

    Towards a clausal analysis of cut-elimination

    Alexander Leitsch, Matthias Baaz

    Journal of symbolic computation, ISSN 0747-7171, Vol. 41, Nº 3, 2006, págs. 381-410

    • Resumen
    
  • Seleccionado

    Cut-elimination and Redundancy-elimination by Resolution

    Alexander Leitsch, Matthias Baaz

    Journal of symbolic computation, ISSN 0747-7171, Vol. 29, Nº 2, 2000, págs. 149-176

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Event-Related Outputs of Computations in P Systems

    Matteo Cavaliere, Rudolf Freund , Alexander Leitsch, Gheorge Paun

    Third Brainstorming Week on Membrane Computing / Miguel Ángel Gutiérrez Naranjo (ed. lit.) , Agustín Riscos Núñez (ed. lit.) , Francisco José Romero Campero (ed. lit.) , Dragos Florin Sburlan (ed. lit.), 2005, ISBN 9788460967719, págs. 107-122

    • Texto completo
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.