Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ

P

Pigeonhole
in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) 
Piro R.
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
Plotkin G.D.
Pohlers W.
in: Otto M.
"Bisimulation invariance and finite models" (2006) 
Point
Points
Pointwise
in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) 
Poisson
in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) 
Polish
in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) 
Politehnica
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Polymorphic
in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) 
Polytime
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
Positive
in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) 
Poussin
in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) 
Power
Powerdomain
Powerdomains
in: Keimel K. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009) 
PRA
in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) 
Practice
in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 
Prasad Venkatesan R.
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Predicate
Prediction
Prefix-Recognisable
in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) 
Preoteasa V.
in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) 
Presentations
Press
Pribeanu C.
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Prime
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Primitive
in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) 
Principle
Principles
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Probabilistic
Probabilistic-Nondeterministic
in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) 
Probabilities
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Probability
Problem
Problems
Proc
Proceedings
Proceeedings
Product
Products
in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) 
Program
Programs
Projective
in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) 
Promises
in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 
Proof
Proofs
Properties
Property
Propositional
in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) 
Provability
in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) 
Provably
Pseudo-BL
in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) 
Pseudocontractive
Pseudo-hoops
in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) 
Ptime
Publications
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Publishers
Pure
Pushdown
Puzzles
in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) 
PVLDB
in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!