Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2015

• Adds TODO.

  jfinkels

  committedSep 16, 2015
  d575216

Commits on Oct 16, 2014

• Updates document configuration; comments out figure for now.

  jfinkels

  committedOct 16, 2014
  648c3c9

Commits on Apr 20, 2014

• Moves About section out of appendix.

  jfinkels

  committedApr 20, 2014
  9be48f1

• Fixes typo.

  jfinkels

  committedApr 20, 2014
  caf0a92

Commits on Apr 8, 2014

• Merge branch 'master' of github.com:jfinkels/parseable

  jfinkels

  committedApr 8, 2014
  b18c8fc

• Removes unnecessary commands.

  jfinkels

  committedApr 8, 2014
  f45990b

• Updates and simplifies grammar, style, and definitions.

  jfinkels

  committedApr 8, 2014
  1a4e4af

Commits on May 2, 2012

• Updated README.md: tested build process on Ubuntu 12.04.

  jfinkels

  committedMay 2, 2012
  728e144

Commits on Feb 6, 2012

• Added fragments of literal movement grammars for constructing permutations of first-order propositional logic formulae with no free variables and no vacuous quantifiers, respectively.

  jfinkels

  committedFeb 6, 2012
  18ea024

Commits on Feb 2, 2012

• Some clarifying changes to definitions.

  jfinkels

  committedFeb 2, 2012
  b890bce

Commits on Feb 1, 2012

• Removed definition of constant growth property, because it is actually more involved than we need.

  jfinkels

  committedFeb 1, 2012
  ce6adce

• Clarified open problems.

  jfinkels

  committedFeb 1, 2012
  a4350a9

Commits on Jan 30, 2012

• Added lemma and open problem.

  jfinkels

  committedJan 30, 2012
  1393fa2

• Moved the About this work section to the appendix.

  jfinkels

  committedJan 30, 2012
  1437b9f

• Updated copyright date from 2011 to 2012.

  jfinkels

  committedJan 30, 2012
  e74d98f

• Changed predicate to propositional; added technical note about bounded arities; changed copyright date.

  jfinkels

  committedJan 30, 2012
  9f8d39e

• Fixed typo: contstant -> constant.

  jfinkels

  committedJan 30, 2012
  c82d318

• Replaced w with phi to represent a logic formula.

  jfinkels

  committedJan 30, 2012
  a0e3d01

• Added motivation sentence.

  jfinkels

  committedJan 30, 2012
  4a758b6

Commits on Jan 26, 2012

• Added definition of mildly context-sensitive for completeness, and added definition of permutation notation.

  jfinkels

  committedJan 26, 2012
  fad1ab2

Commits on Jan 22, 2012

• Fixed context-free grammar definition.

  jfinkels

  committedJan 22, 2012
  06bff64

Commits on Jan 20, 2012

• Added new conjecture for the complexity of the recognition problem for permuted indexed languages.

  jfinkels

  committedJan 20, 2012
  a2d4d76

• Clarified the complexity of the parsing problem for languages in these complexity classes.

  jfinkels

  committedJan 20, 2012
  c922f79

• Added reference which states that the recognition problem for indexed grammars is in exponential time.

  jfinkels

  committedJan 20, 2012
  ab1c011

• Added definition of no vacuous quantifiers.

  jfinkels

  committedJan 20, 2012
  f0c2001

• Added a note that some complexity class inclusions are strict.

  jfinkels

  committedJan 20, 2012
  d841d2b

• Fixed definition of a bound variable and added definition of scope, just for the sake of completeness.

  jfinkels

  committedJan 20, 2012
  60d175f

• Added missing curly braces.

  jfinkels

  committedJan 20, 2012
  2c59ccf

• Added info about related conjecture.

  jfinkels

  committedJan 20, 2012
  4bec8b5

• First attempt at cleared up complexity of these problems.

  jfinkels

  committedJan 20, 2012
  6d64087

Commits on Jan 17, 2012

• A bunch of changes

  jfinkels

  committedJan 17, 2012
  093fc69

Commits on Oct 28, 2011

• added the PERM-CLOSED problem definition

  jfinkels

  committedOct 28, 2011
  2da164a

Commits on Oct 20, 2011

• added parentheses and comma symbols

  jfinkels

  committedOct 20, 2011
  799c84d

• added missing spaces

  jfinkels

  committedOct 20, 2011
  8f642b8

• updated README

  jfinkels

  committedOct 20, 2011
  4566ac2

Pagination

PreviousNext