Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Penny Anderson
@inproceedings{DBLP:conf/tphol/AndersonP04, author = {Penny Anderson and Frank Pfenning}, editor = {Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan}, title = {Verifying Uniqueness in a Logical Framework}, booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3223}, pages = {18--33}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30142-4\_2}, doi = {10.1007/978-3-540-30142-4\_2}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/AndersonP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/AndersonB00, author = {Penny Anderson and David A. Basin}, title = {Program Development Schemata as Derived Rules}, journal = {J. Symb. Comput.}, volume = {30}, number = {1}, pages = {5--36}, year = {2000}, url = {https://doi.org/10.1006/jsco.1999.0346}, doi = {10.1006/JSCO.1999.0346}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/AndersonB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/MarionLSCA98, author = {Bill Marion and Keith Vander Linden and Roberta Evans Sabin and Judy Cushing and Penny Anderson}, editor = {John Lewis and Jane Prey and Daniel Joyce and John Impagliazzo}, title = {Integrating recent research results into undergraduate curricula (panel): initial steps}, booktitle = {Proceedings of the 29th {SIGCSE} Technical Symposium on Computer Science Education, {SIGCSE} 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998}, pages = {378--379}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/273133.274342}, doi = {10.1145/273133.274342}, timestamp = {Mon, 30 May 2022 15:19:22 +0200}, biburl = {https://dblp.org/rec/conf/sigcse/MarionLSCA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iticse/WolzPACDKLMSW97, author = {Ursula Wolz and Jacob Palme and Penny Anderson and Zhi Chen and James Dunne and G{\"{o}}ran Karlsson and Atika Laribi and Sirkku M{\"{a}}nnik{\"{o}} and Robert Spielvogel and Henry M. Walker}, editor = {Lillian N. Cassel and Mats Daniels}, title = {Computer-mediated communication in collaborative educational settings (report of the ITiCSE 1997 working group on {CMC} in collaborative educational settings)}, booktitle = {The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, ITiCSE-WGR 1997, Uppsala, Sweden, 1-5 June, 1997}, pages = {51--69}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/266057.266100}, doi = {10.1145/266057.266100}, timestamp = {Mon, 13 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iticse/WolzPACDKLMSW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/AndersonB95, author = {Penny Anderson and David A. Basin}, editor = {Kanchana Kanchanasut and Jean{-}Jacques L{\'{e}}vy}, title = {Deriving and Applying Logic Program Transformers}, booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1023}, pages = {301--318}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60688-2\_52}, doi = {10.1007/3-540-60688-2\_52}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/AndersonB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Anderson94, author = {Penny Anderson}, editor = {Alan Bundy}, title = {Representing Proof Transformations for Program Optimizations}, booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {814}, pages = {575--589}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58156-1\_42}, doi = {10.1007/3-540-58156-1\_42}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Anderson94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Anderson94, author = {Penny Anderson}, editor = {Frank Pfenning}, title = {Program Extraction in a Logical Framework Setting}, booktitle = {Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {822}, pages = {144--158}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58216-9\_35}, doi = {10.1007/3-540-58216-9\_35}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Anderson94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.