Tag:Computability-logic

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Game semantics (1)
  semantics programming theory games semantic research game-theory wiki scheme computerscience importedfurl20071006 pl game-semantics dialogical-logic argumentation-theory computability-logic diplomarbeit
• Mathematical proof (1)
  mathematics math wikipedia proof proofs maths science logic theories proofing proofability mathematical provability matemática to_read proving wiki3 computability-logic completeness axiomatic-system 1stfish consistency designpatterns educational discrete incompleteness
• Intuitionistic logic (1)
  logic philosophy mathematics intuitionistic math set problem-solving theory wikipedia learning typetheory topos-theory constructivism ciencia .imported computability-logic constructivemathematics intuitionist csci499h intuitionistic-logic
• Intuitionism (1)
  philosophy logic intuitionism mathematics wikipedia math maths todo topos-theory learning wikipediapage computational-logic computability-logic ethics imported intuitionistic-logic
• Interactivity (1)
  interactivity wikipedia interaction tcc hypermedia interoperability dgm aixi computability-logic computational-game-theory game-theory
• Model-driven architecture (1)
  mda architecture uml design wikipedia omg software modeling development programming wiki work research model mdd model-driven-architecture mde model-driven management free driven code-generation comp computability-logic cmpsci - alive architecture-standards bpm cim503