Login / Signup

Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs.

Christian Retoré
Published in: Electron. Notes Theor. Comput. Sci. (1996)
Keyphrases
  • series parallel
  • temporal reasoning
  • binary trees
  • tree decomposition
  • neural network
  • objective function
  • bipartite graph
  • constraint networks