Edukira 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

  • Profilak
  • Ikasketak
  • Egitura
  • Ikerketa
  • Unibertsitatera sartzeko bideak
  • Alorrak
  • Zerbitzuak
  • Direktorioa
  • UPV/EHU/
  • Software/

LoRea

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

Prototipoak

Inprimatu CS Prototype: An equality constraint solver

CS Prototype: An equality constraint solver


Inprimatu BCN Prototype: An implementation of Constructive Negation

BCN Prototype: An implementation of Constructive Negation


Inprimatu A Tableau-based Theorem prover for Temporal Logic PLTL

A Tableau-based Theorem prover for Temporal Logic PLTL


Inprimatu A Resolution-based Theorem prover for Temporal Logic PLTL

A Resolution-based Theorem prover for Temporal Logic PLTL


Inprimatu SpecSatisfiabilityTool for testing specifications on XML documents

SpecSatisfiabilityTool for testing specifications on XML documents


Inprimatu Angluin's algorithm for learning DFA using JFLAP

Angluin's algorithm for learning DFA using JFLAP


Inprimatu A Dafny Formalization of a Proof System for QCSP

A Dafny Formalization of a Proof System for QCSP


  • Irisgarritasuna
  • Lege oharra
  • Kontaktua
  • Mapa
  • Laguntza

UPV/EHU