Login / Signup

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.

Álvaro García-PérezPablo Nogueira
Published in: PEPM (2013)
Keyphrases
  • neural network
  • semantic representation
  • reduction method
  • real time
  • logic programs
  • logic programming
  • data reduction