Search results for "68N30"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30
26	Martin Raussen	Invariants of Directed Spaces.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30
26	Marianne Huchard, Mohamed Rouane Hacene, Cyril Roume, Petko Valtchev	Relational concept discovery in structured datasets.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A15, 06B99, 68T05, 68N30
26	George Voutsadakis	Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.	Stud Logica	2007	DBLP DOI BibTeX RDF	2000 AMS Subject Classification Primary: 03G99, Secondary: 18C15, Secondary: 68N30
26	George Voutsadakis	Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 18C15, 03G99, Secondary: 08C05, 68N30, 08B05
26	George Voutsadakis	Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 03G99, Secondary: 68N30, 18C15
26	Laura Giordano 0001, Alberto Martelli	Tableau-based automata construction for dynamic linear time temporal logic*.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification 03B44, 68N30
26	Alexander Bolotov, Artie Basukoski	A clausal resolution method for branching-time logic ECTL+.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
26	Charles J. Colbourn, Sosina Martirosyan, Tran van Trung, Robert A. Walker	Roux-type constructions for covering arrays of strengths three and four.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 05B40, 68N30, 05B15

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