Eduki nagusira joan
Menu nagusia ireki/itxi
  • Euskara
  • Español
  • English
  • Arabako Campusa
  • Bizkaiko Campusa
  • Gipuzkoako Campusa
  • Hasi saioa
  • Euskara
  • Español
  • English
  • Arabako Campusa
  • Bizkaiko Campusa
  • Gipuzkoako Campusa
  • Profilak
  • Ikasketak
  • Egitura
  • Ikerketa
  • Unibertsitatera sartzeko bideak
  • Alorrak
  • Zerbitzuak
  • Direktorioa
Euskal Herriko Unibertsitatea

LoRea Ikerketa Taldea

  • Profilak
  • Ikasketak
  • Egitura
  • Ikerketa
  • Unibertsitatera sartzeko bideak
  • Alorrak
  • Zerbitzuak
  • Direktorioa

Breadcrumb

  1. UPV/EHU
  2. Ikerkuntza
  3. Software
  4. Prototipoak
LoRea

LoRea

Menua Webgunearen menua ireki/itxi
  • Kideak
  • Ikerlerroak
  • Proiektuak
  • Argitalpenak
  • Software

Prototipoak

CS Prototype: An equality constraint solver

BCN Prototype: An implementation of Constructive Negation

A Tableau-based Theorem prover for Temporal Logic PLTL

A Resolution-based Theorem prover for Temporal Logic PLTL

SpecSatisfiabilityTool for testing specifications on XML documents

Angluin's algorithm for learning DFA using JFLAP

A Dafny Formalization of a Proof System for QCSP

  • Irisgarritasuna
  • Lege oharra
  • Kontaktua
  • Mapa
  • Laguntza

UPV/EHU