equal
deleted
inserted
replaced
|
1 |
|
2 @Unpublished{KraussNipkow11, |
|
3 author = {A.~Kraus and T.~Nipkow}, |
|
4 title = {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra}, |
|
5 note = {To appear in Journal of Automated Reasoning}, |
|
6 year = {2011} |
|
7 } |
1 |
8 |
2 @Book{Kozen97, |
9 @Book{Kozen97, |
3 author = {D.~Kozen}, |
10 author = {D.~Kozen}, |
4 title = {{A}utomata and {C}omputability}, |
11 title = {{A}utomata and {C}omputability}, |
5 publisher = {Springer Verlag}, |
12 publisher = {Springer Verlag}, |
57 series=LNCS, |
64 series=LNCS, |
58 volume=1479, |
65 volume=1479, |
59 pages={1--15}, |
66 pages={1--15}, |
60 year=1998 |
67 year=1998 |
61 } |
68 } |
|
69 |
|
70 @inproceedings{BerghoferNipkow00, |
|
71 author={S.~Berghofer and T.~Nipkow}, |
|
72 title={{E}xecuting {H}igher {O}rder {L}ogic}, |
|
73 booktitle={Types for Proofs and Programs (TYPES 2000)}, |
|
74 year=2002, |
|
75 series=LNCS, |
|
76 volume=2277, |
|
77 pages="24--40" |
|
78 } |