-
Notifications
You must be signed in to change notification settings - Fork 4
/
apostila.bib
executable file
·134 lines (134 loc) · 4.22 KB
/
apostila.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
@book{coqart,
author = {Bertot, Yves and Cast{\'{e}}ran, Pierre},
keywords = {coq},
priority = {0},
publisher = {Springer-Verlag},
title = {{Interactive Theorem Proving and Program Development, Coq'Art:the Calculus of Inductive Constructions}},
url = {http://www.labri.fr/perso/casteran/CoqArt/index.html},
year = {2004}
}
@misc{Coqrefman,
author = {Team, Coq D.},
comment = {\url{http://coq.inria.fr/}},
priority = {0},
title = {The {C}oq proof assistant reference manual, version 8.4},
year = {September 2012}
}
@book{Pierce12,
author = {Benjamin C. Pierce and Chris Casinghino and
Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu and Vilhelm Sjoberg and Brent Yorgey},
title = {Software Foundations},
year = {2012},
publisher = {Electronic textbook},
plclub = {Yes},
bcp = {Yes},
keys = {poplmark,books},
ebook = {http://www.cis.upenn.edu/~bcpierce/sf},
japanese = {http://proofcafe.org/sf}
}
@book{Winskel93,
author = {Winskel, Glynn},
title = {The Formal Semantics of Programming Languages: An Introduction},
year = {1993},
isbn = {0-262-23169-7},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
@book{Hopcroft06,
author = {Hopcroft, John E. and Motwani, Rajeev and Ullman, Jeffrey D.},
title = {Introduction to Automata Theory, Languages, and Computation (3rd Edition)},
year = {2006},
isbn = {0321455363},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}
@book{Sipser12,
author = {Sipser, Michael},
title = {Introduction to the Theory of Computation (3rd Edition)},
year = {2012},
isbn = {113318779X},
publisher = {Cengage Learning},
address = {Boston, MA, USA},
}
@book{Aho86,
author = {Alfred V. Aho and
Ravi Sethi and
Jeffrey D. Ullman},
title = {Compilers: Princiles, Techniques, and Tools},
publisher = {Addison-Wesley},
year = {1986},
isbn = {0-201-10088-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{halmos57,
ajournal = "Bull. Amer. Math. Soc.",
author = "Halmos, Paul R.",
journal = "Bulletin of the American Mathematical Society",
month = "03",
number = "2",
pages = "155--156",
publisher = "American Mathematical Society",
title = "Review: Alfred Tarski, Logic, semantics, metamathematics",
url = "http://projecteuclid.org/euclid.bams/1183521497",
volume = "63",
year = "1957"
}
@book{Velleman06,
address = {Cambridge, England},
author = {Velleman, Daniel J.},
biburl = {http://www.bibsonomy.org/bibtex/2a82d7cd9689748f43dc1f76f9effcf4c/fritzsolms},
edition = {2nd Edition},
interhash = {055227c1388f205b69e5df93b73fdde8},
intrahash = {a82d7cd9689748f43dc1f76f9effcf4c},
isbn = {978-0521675994},
keywords = {Mathematical Proof Proofs; Theory},
lccn = {0111},
month = jan,
publisher = {Cambridge University Press},
timestamp = {2013-02-28T11:13:35.000+0100},
title = {{How to Prove It: A Structured Approach}},
year = 2006
}
@article{Lamport12,
year={2012},
issn={1661-7738},
journal={Journal of Fixed Point Theory and Applications},
volume={11},
number={1},
doi={10.1007/s11784-012-0071-6},
title={How to write a 21st century proof},
url={http://dx.doi.org/10.1007/s11784-012-0071-6},
publisher={SP Birkhäuser Verlag Basel},
keywords={03B35; 03F07; Structured proofs; teaching proofs},
author={Lamport, Leslie},
pages={43-63},
language={English}
}
@book{Rosen02,
author = {Rosen, Kenneth H.},
title = {Discrete Mathematics and Its Applications},
year = {2002},
isbn = {0072424346},
edition = {5th},
publisher = {McGraw-Hill Higher Education},
}
@book{Graham94,
author = {Graham, Ronald L. and Knuth, Donald E. and Patashnik, Oren},
title = {Concrete Mathematics: A Foundation for Computer Science},
year = {1994},
isbn = {0201558025},
edition = {2nd},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}
@book{Dalen94,
author = {Dirk van Dalen},
title = {Logic and structure {(3.} ed.)},
series = {Universitext},
publisher = {Springer},
year = {1994},
isbn = {978-3-540-57839-0},
timestamp = {Sat, 24 Sep 4441560 18:40:32 +},
biburl = {http://dblp.uni-trier.de/rec/bib/books/daglib/0080654},
bibsource = {dblp computer science bibliography, http://dblp.org}
}