Login / Signup

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.

Alexander KurzDaniela Petrisan
Published in: CMCS (2008)
Keyphrases
  • genetic algorithm
  • classical logic
  • neural network
  • multiscale
  • logic programming
  • modal logic
  • digital circuits
  • linear logic