Simone Bova

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j9		Simone Bova, Hubie Chen, Matthew Valeriote: Generic expression hardness results for primitive positive formula comparison. Inf. Comput. 222: 108-120 (2013)
j8		Simone Bova, Franco Montagna: Polynomial space hardness without disjunction property. Theor. Comput. Sci. 467: 1-11 (2013)
	2012
j7		Simone Bova, Diego Valota: Finite RDP-algebras: duality, coproducts and logic. J. Log. Comput. 22(3): 417-450 (2012)
j6		Simone Bova, Hubie Chen, Matthew Valeriote: On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst. 50(2): 329-353 (2012)
j5		Simone Bova: Lewis Dichotomies in Many-Valued Logics. Studia Logica 100(6): 1271-1290 (2012)
i3		Simone Bova, Hubie Chen, Matthew Valeriote: Generic Expression Hardness Results for Primitive Positive Formula Comparison. CoRR abs/1205.5745 (2012)
	2011
c6		Simone Bova, Hubie Chen, Matthew Valeriote: Generic Expression Hardness Results for Primitive Positive Formula Comparison. ICALP (2) 2011: 344-355
	2010
j4		Stefano Aguzzoli, Simone Bova: The free n-generated BL-algebra. Ann. Pure Appl. Logic 161(9): 1144-1170 (2010)
j3		Simone Bova, Tommaso Flaminio: The coherence of Lukasiewicz assessments is NP-complete. Int. J. Approx. Reasoning 51(3): 294-304 (2010)
c5		Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra: A logical analysis of Mamdani-type fuzzy inference, I theoretical bases. FUZZ-IEEE 2010: 1-8
c4		Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra: A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets. FUZZ-IEEE 2010: 1-8
c3		Stefano Aguzzoli, Simone Bova: Schauder Hats for the Two-Variable Fragment of BL. ISMVL 2010: 27-32
	2009
j2		Simone Bova, Franco Montagna: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410(12-13): 1143-1158 (2009)
c2		Simone Bova: Soft Constraints Processing over Divisible Residuated Lattices. ECSQARU 2009: 887-898
c1		Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS 2009: 1-15
	2008
j1		Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3) (2008)
i2		Simone Bova: k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices. CoRR abs/0805.3261 (2008)
	2006
i1		Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic. CoRR abs/cs/0605094 (2006)

Coauthor Index

1	Stefano Aguzzoli	[j4] [c3] [c1]
2	Hubie Chen	[j9] [j6] [i3] [c6]
3	Pietro Codara	[c5] [c4]
4	Tommaso Flaminio	[j3]
5	Daniele Maccari	[c5] [c4]
6	Vincenzo Marra	[c5] [c4] [c1]
7	Franco Montagna	[j8] [j2] [j1] [i1]
8	Matthew Valeriote (Matt Valeriote)	[j9] [j6] [i3] [c6]
9	Diego Valota	[j7]

Colors in the list of coauthors

Last update Thu May 23 23:54:32 2013 CET by the DBLP Team —

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