Search results for "semi-ring"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Ping Zhu, Xuqing Tang, Zhenyuan Xu, Weihong Guan	The Algebraic Computing Structure of Four DNA Bases.	ICAT Workshops	2006	DBLP DOI BibTeX RDF	natural operation, double and single strands, semi-ring, DNA computing
21	Daqi Zhang, Shiru Qu, Zhenzheng Liu	Robust Classification of Vehicle based on Fusion of TSRP and Wavelet Fractal Signature.	ICNSC	2008	DBLP DOI BibTeX RDF
21	Benjamin Grégoire, Assia Mahboubi	Proving Equalities in a Commutative Ring Done Right in Coq.	TPHOLs	2005	DBLP DOI BibTeX RDF
14	Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu	Functional collection programming with semi-ring dictionaries.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
14	Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu	Functional Collection Programming with Semi-Ring Dictionaries.	CoRR	2021	DBLP BibTeX RDF
14	Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann	Exotic Semi-Ring Constraints.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
10	Adam Koprowski, Johannes Waldmann	Arctic Termination ...Below Zero.	RTA	2008	DBLP DOI BibTeX RDF
10	Orna Kupferman, Yoad Lustig	Lattice Automata.	VMCAI	2007	DBLP DOI BibTeX RDF
10	Siva Anantharaman, Jing Chen, Gaétan Hains	A Synchronous Process Calculus for Service Costs.	SEFM	2005	DBLP DOI BibTeX RDF
10	Michael C. Horsch, William S. Havens, Aditya Ghose	Generalized Arc Consistency with Application to MaxCSP.	AI	2002	DBLP DOI BibTeX RDF
10	Lina Khatib, Paul H. Morris, Robert A. Morris 0001	Pareto Optimization of Temporal Decisions.	SARA	2002	DBLP DOI BibTeX RDF
10	Manfred Droste, Paul Gastin	On Recognizable and Rational Formal Power Series in Partially Commuting Variables.	ICALP	1997	DBLP DOI BibTeX RDF
10	S. Rao Kosaraju	On Parallel Evaluation of Classes of Circuits.	FSTTCS	1990	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )