equal
deleted
inserted
replaced
58 } |
58 } |
59 |
59 |
60 @inproceedings{Nipkow98, |
60 @inproceedings{Nipkow98, |
61 author={T.~Nipkow}, |
61 author={T.~Nipkow}, |
62 title={{V}erified {L}exical {A}nalysis}, |
62 title={{V}erified {L}exical {A}nalysis}, |
63 booktitle={Theorem Proving in Higher Order Logics}, |
63 booktitle={Proc.~of the 11th International Conference on Theorem Proving in Higher Order Logics}, |
64 series=LNCS, |
64 series={LNCS}, |
65 volume=1479, |
65 volume=1479, |
66 pages={1--15}, |
66 pages={1--15}, |
67 year=1998 |
67 year=1998 |
68 } |
68 } |
69 |
69 |
74 year=2002, |
74 year=2002, |
75 series=LNCS, |
75 series=LNCS, |
76 volume=2277, |
76 volume=2277, |
77 pages="24--40" |
77 pages="24--40" |
78 } |
78 } |
|
79 |
|
80 @book{HopcroftUllman69, |
|
81 author = {J.~E.~Hopcroft and |
|
82 J.~D.~Ullman}, |
|
83 title = {{F}ormal {L}anguages and {T}heir {R}elation to {A}utomata}, |
|
84 publisher = {Addison-Wesley}, |
|
85 year = {1969} |
|
86 } |
|
87 |
|
88 |
|
89 @inproceedings{BerghoferReiter09, |
|
90 author = {S.~Berghofer and |
|
91 M.~Reiter}, |
|
92 title = {{F}ormalizing the {L}ogic-{A}utomaton {C}onnection}, |
|
93 booktitle = {Proc.~of the 22nd International |
|
94 Conference on Theorem Proving in Higher Order Logics}, |
|
95 year = {2009}, |
|
96 pages = {147-163}, |
|
97 series = LNCS, |
|
98 volume = {5674} |
|
99 } |