DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
On the Axiomatizability of Priority
In: http://www.cs.vu.nl/~wanf/pubs/priority-mscs.pdf (2007)
BASE
Show details
2
A First-Order Axiomatization of the Theory of Finite Trees
In: ftp://ftp.tcs.informatik.uni-muenchen.de/pub/backofen/publ/JOLLI95-trees.ps.Z (1995)
BASE
Show details
3
A First-Order Axiomatization of the Theory of Finite Trees
In: ftp://ftp.cis.upenn.edu/pub/ircs/tr/95-02.ps.Z (1995)
BASE
Show details
4
A First-Order Axiomatization of the Theory of Finite Trees
In: http://www.ircs.upenn.edu/download/techreports/1995/95-02.pdf (1995)
BASE
Show details
5
A First-Order Axiomatization of the Theory of Finite Trees
In: IRCS Technical Reports Series (1995)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
5
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern