Publications by Heiko Mantel

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

  • Heiko Mantel. Eine Matrixcharakterisierung für ein Fragment der Linearen Logik. Diploma Thesis, TU Darmstadt, 1996.
    BibTeX entry ]
112 hits found
BibTeX file of all entries
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang