Descriptive Complexity Theory

in #descriptive-complexity • 5 years ago (edited)

limit.jpg

Dizzying eh @_@? Tau Meta Language is in the FO(PFP) range under PSPACE complexity.

Image source and further reading on descriptive complexity: https://people.cs.umass.edu/~immerman/descriptive_complexity.html

Ongoing work on TML:
https://github.com/IDNI/tau/blob/master/tml.cpp

5 years ago in #descriptive-complexity by
$7.54
  • Past Payouts $7.54, 0.00 TRX
  • - Author $5.78, 0.00 TRX
  • - Curators $1.76, 0.00 TRX
56 votes
Reply 0

Coin Marketplace

STEEM 0.18
TRX 0.14
JST 0.030
BTC 59634.42
ETH 3191.92
USDT 1.00
SBD 2.45