Laura Crosilla

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

3 Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)

2005

2 Laura Crosilla, Hajime Ishihara, Peter Schuster: On constructing completions. J. Symb. Log. 70(3): 969-978 (2005)

2002

1 Laura Crosilla, Michael Rathjen: Inaccessible set axions may have little consistency strength. Ann. Pure Appl. Logic 115(1-3): 33-70 (2002)

	2006
3		Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)
	2005
2		Laura Crosilla, Hajime Ishihara, Peter Schuster: On constructing completions. J. Symb. Log. 70(3): 969-978 (2005)
	2002
1		Laura Crosilla, Michael Rathjen: Inaccessible set axions may have little consistency strength. Ann. Pure Appl. Logic 115(1-3): 33-70 (2002)

Coauthor Index

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Peter Aczel	[3]
2	Hajime Ishihara	[2] [3]
3	Erik Palmgren	[3]
4	Michael Rathjen	[1]
5	Peter Schuster (Peter M. Schuster)	[2] [3]