Add the extended abstract from PxTP
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- publications/pxtp21/_minted-extended_abstract/default-pyg-prefix.pygstyle 101 additions, 0 deletions...p21/_minted-extended_abstract/default-pyg-prefix.pygstyle
- publications/pxtp21/_minted-extended_abstract/listing1.pygtex 19 additions, 0 deletions...ications/pxtp21/_minted-extended_abstract/listing1.pygtex
- publications/pxtp21/_minted-extended_abstract/trac.pygstyle 99 additions, 0 deletionspublications/pxtp21/_minted-extended_abstract/trac.pygstyle
- publications/pxtp21/abstract 13 additions, 0 deletionspublications/pxtp21/abstract
- publications/pxtp21/breakurl.sty 309 additions, 0 deletionspublications/pxtp21/breakurl.sty
- publications/pxtp21/eptcs.bst 1425 additions, 0 deletionspublications/pxtp21/eptcs.bst
- publications/pxtp21/eptcs.cls 263 additions, 0 deletionspublications/pxtp21/eptcs.cls
- publications/pxtp21/extended_abstract.tex 426 additions, 0 deletionspublications/pxtp21/extended_abstract.tex
- publications/pxtp21/generic.bib 241 additions, 0 deletionspublications/pxtp21/generic.bib
- publications/pxtp21/orcid.pdf 0 additions, 0 deletionspublications/pxtp21/orcid.pdf
- publications/pxtp21/smtlib2.py 119 additions, 0 deletionspublications/pxtp21/smtlib2.py
- spec/doc.tex 46 additions, 1 deletionspec/doc.tex
Loading
Please register or sign in to comment