|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | J. Smit |
Computer algebra and VLSI, prospects for cross fertilization. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Anthony C. Hearn |
REDUCE - A Case Study in Algebra System Development. |
EUROCAM |
1982 |
DBLP DOI BibTeX RDF |
|
26 | J. A. van Hulzen |
Computer Algebra Systems Viewed by a Notorious User. |
EUROCAM |
1982 |
DBLP DOI BibTeX RDF |
|
26 | A. C. Norman |
The Development of a Vector-based Algebra System. |
EUROCAM |
1982 |
DBLP DOI BibTeX RDF |
|
26 | Majid Alizadeh |
Completions of Basic Algebras. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra |
26 | Anatolij Dvurecenskij, Flavia Ventriglia |
On two versions of the Loomis-Sikorski Theorem for algebraic structures. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Generalized pseudo effect algebra, Pseudo Vitali space, Monotone ?-complete algebra, Loomis-Sikorski Theorem, g-Effect-tribe, g-Vitali space, State |
26 | Timo Hanke |
The isomorphism problem for cyclic algebras and an application. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
abelian crossed product, bicyclic crossed product, cyclic algebra, extension of automorphism, finite-dimensional central-simple algebra, noncrossed product, norm equation, isomorphism problem |
26 | Jan A. Bergstra, Alban Ponse |
A Bypass of Cohen's Impossibility Result. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
Malcode, Program algebra, Worm, Virus, Thread algebra |
26 | Zoltán Ésik, Hans Leiß |
Greibach Normal Form in Algebraically Complete Semirings. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory |
26 | Esko Turunen |
Boolean deductive systems of BL-algebras. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice |
26 | Lynne Baur |
Cardinal Functions on Initial Chain Algebras on Pseudotrees. |
Order |
2000 |
DBLP DOI BibTeX RDF |
cardinal function, cardinal invariant, initial chain algebra, interval algebra |
26 | Jaeyoung Choi, Sung-Hoon Moon |
A parallel Cholesky factorization routine with a new version of PB-BLAS. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
parallel Cholesky factorization routine, PB-BLAS, Parallel Block Basic linear Algebra Subprograms, block cyclic data distribution, memory space management, PB-BLAS routine performance, Hermitian matrix, triangular matrix, high performance linear algebra routine library, Intel Paragon computer, distributed memory systems, distributed-memory systems, symmetric matrix, ScaLAPACK, data decomposition |
25 | Patrik Eklund, Robert Helgesson |
Composing Partially Ordered Monads. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
partially ordered monad, Kleene algebra |
25 | Philippe Balbiani, Tinko Tinchev |
Boolean Logics with Relations. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
First-order classical logic, propositional modal logic, relations, Boolean algebra |
25 | Stefan Milius, Thorsten Palm, Daniel Schwencke |
Complete Iterativity for Algebras with Effects. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
iterative algebra, terminal coalgebra, monad, initial algebra, distributive law |
25 | Harold W. Thimbleby, Jeremy Gow |
Computer algebra in interface design research. |
IUI |
2004 |
DBLP DOI BibTeX RDF |
MAUI, matrix algebra, computer algebra, mathematica |
25 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
An example of performance evaluation by using the stochastic process algebra: ROSA. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements |
25 | Alberto Belussi, Elisa Bertino, Barbara Catania |
An Extended Algebra for Constraint Databases. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
generalized relations, nested relational algebra, external functions, Constraints, relational algebra |
25 | Alan Edelman, Steve Heller, S. Lennart Johnsson |
Index Transformation Algorithms in a Linear Algebra Framework. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
indextransformation algorithms, linear algebra framework, Gray code encoding, vector reversal, hypercube communications algorithms, Gauss-Jordan elimination, encoding, hypercube networks, decoding, decoding, linear algebra, Gray codes, shuffles, hypercube multiprocessors, matrix transpose, bit reversal |
25 | Pablo P. Trabado, Antonio Lloris-Ruíz, Julio Ortega Lopera |
Solution of Switching Equations Based on a Tabular Algebra. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
switching equations, tabular method, computer processing, benchmark equations, computational complexity, complexity, automatic test pattern generation, Boolean algebra, Boolean algebra, switching theory, switching theory |
25 | Vladimir Cherkassky, Karen Fassett, Nikolaos Vassilas |
Linear Algebra Approach to Neural Associative Memories and Noise Performance of Neural Classifiers. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
linear algebra approach, neural associative memories, noise performance, neural classifiers, generalized inverse memory construction rules, performance evaluation, neural nets, linear algebra, content-addressable storage, comparative analysis, saturation, analytic evaluation, correlation matrix memory |
25 | Jim B. Surjaatmadja |
An Algebra for Switching Circuits. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
canonical operators, noncanonical operators, postulates, switching circuit algebra, consensus, Boolean algebra, complementation, theorems, Karnaugh maps |
25 | Wojciech Buszkowski, Ewa Palka |
Infinitary Action Logic: Complexity, Models and Grammars. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
action algebra, relation algebra, Kleene algebra, categorial grammar |
25 | Anatolij Dvurecenskij, Maria Gabriella Graziano |
An invitation to economical test spaces and effect algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Economical test, Economical system, Economical test space, Unambiguous events, ?-algebra, ?-system, Dynkin system of sets, Ellsberg paradox, Simpson paradox, Weight, Boolean algebra, State, Effect algebra |
25 | John V. Tucker, Jeffery I. Zucker |
Abstract versus concrete computation on metric partial algebras. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Abstract computation, countable choice, effective Banach space, effective metric space, metric algebra, topological algebra, data types, partial algebra |
25 | F. Borceux |
Non-Pointed Strongly Protomodular Theories. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
strongly protomodular category, semi-Abelian category, normal subobject, C *-algebra, Boolean algebra, ring, Heyting algebra |
25 | Jirí Rachunek |
Compactness in MV-algebras and in their non-commutative generalizations. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
GMV-algebra, Unital ?-group, Compact element, Discrete GMV -algebra, Prime ideal, MV-algebra, Ideal |
25 | Ioana Leustean |
Local pseudo MV-algebras. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
l-group, Local pseudo MV-algebra, Perfect pseudo MV-algebra, Pseudo MV-algebra |
25 | Anatolij Dvurecenskij, Maria Gabriella Graziano |
Dedekind Complete Commutative BCK-algebras. |
Order |
2000 |
DBLP DOI BibTeX RDF |
atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group |
23 | Justo Peralta, Blas Torrecillas |
Graded Codes. |
Appl. Algebra Eng. Commun. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Franz Baader, Werner Nutt |
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. |
Appl. Algebra Eng. Commun. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Equational unification, Semiadditive categories, Semirings, Equational theories |
22 | Fritz Schwarz |
Programming with Abstract Data Types: The Symmetry Package SPDE in Scratchpad. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
22 | John A. Abbott, Russell J. Bradford, James H. Davenport |
Factorisation of Polynominals: Old Ideas and Recent Results. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Ivan Chajda |
Double Basic Algebras. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D35, 06C15, 03G25, 08A65 |
22 | Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu |
Modeling Cost-Aware Web Services Composition Using PTCCS. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Shazzad Hosain, Hasan M. Jamil |
An Algebraic Language for Semantic Data Integration on the Hidden Web. |
ICSC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu |
Cartesian product of compressible effect algebras. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product |
22 | Miklós Ferenczi |
Finitary Polyadic Algebras from Cylindric Algebras. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Polyadic algebras, cylindric algebras |
22 | Vilém Novák |
EQ-Algebras in Progress. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality |
22 | Janusz A. Brzozowski, Yuli Ye |
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jianhua Dai |
Study on the Axis Problem of Rough 3-Valued Algebras. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Murali Mani, Song Wang 0001, Daniel J. Dougherty, Elke A. Rundensteiner |
Join minimization in XML-to-SQL translation: an algebraic approach. |
SIGMOD Rec. |
2006 |
DBLP DOI BibTeX RDF |
XML, SQL |
22 | Marina Issakova |
Learning Linear Equation Solving Algorithm and Its Steps in Intelligent Learning Environment. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Fontijne, Leo Dorst |
Modeling 3D Euclidean Geometry. |
IEEE Computer Graphics and Applications |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Peter B. Ladkin, Roger D. Maddux |
On Binary Constraint Problems. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency |
22 | Stéphane Grumbach, Tova Milo |
Towards Tractable Algebras for Bags. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Arkadius G. Kalka |
Representation Attacks on the Braid Diffie-Hellman Public Key Encryption. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Braid Diffie-Hellman key agreement protocol, Generalized conjugacy search problem, Decomposition problem, Linear algebra attack, Lawrence-Krammer representation, Public-key cryptography, Braid group |
22 | Meinolf Geck, Gerhard Hiss, Frank Lübeck, Gunter Malle, Götz Pfeiffer |
CHEVIE - A system for computing and processing generic character tables. |
Appl. Algebra Eng. Commun. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Finite groups of Lie type, Iwahori-Hecke algebras, Computer algebra, Characters |
22 | Willem A. de Graaf, Gábor Ivanyos, Lajos Rónyai |
Computing Cartan subalgebras of Lie algebras. |
Appl. Algebra Eng. Commun. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Cartan subalgebra, Polynomial time algorithm, Symbolic computation, Lie algebra |
22 | Eugene Creswick, Aaron M. Novstrup |
Error-tolerant version space algebra. |
IUI |
2010 |
DBLP DOI BibTeX RDF |
programming by demonstration, smart environments, error tolerance, version spaces |
22 | Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao |
Towards the Evolutionary Process Algebra. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Yingxu Wang |
Granular algebra for modeling granular systems and granular computing. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Christoph Koch 0001 |
A compositional query algebra for second-order logic and uncertain databases. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Börje F. Karlsson, Simone Diniz Junqueira Barbosa, António L. Furtado 0001, Marco A. Casanova |
A Plot-Manipulation Algebra to Support Digital Storytelling. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
algebraic formalisms, logic design, storytelling, narratology, plots |
22 | Benjamin Adams, Martin Raubal |
A Metric Conceptual Space Algebra. |
COSIT |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Jónathan Heras, Vico Pascual, Julio Rubio 0001 |
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Qi Yu 0001, Athman Bouguettaya |
Framework for Web service query algebra and optimization. |
ACM Trans. Web |
2008 |
DBLP DOI BibTeX RDF |
service query, Web service, query optimization, service oriented computing |
22 | Rudolf Berghammer |
Applying relation algebra and Rel View to solve problems on orders and lattices. |
Acta Informatica |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ling Zhuo, Viktor K. Prasanna |
High-Performance Designs for Linear Algebra Operations on Reconfigurable Hardware. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ninghui Li, Qihua Wang |
Beyond separation of duty: An algebra for specifying high-level security policies. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Access control, separation of duty, policy design |
22 | Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff |
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna |
The Reaction Algebra: A Formal Language for Event Correlation. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Luis Falcón-Morales, Eduardo Bayro-Corrochano |
Radon transform and Conformal Geometric Algebra with lines. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Christian Gebken, Gerald Sommer |
Stochastically Optimal Epipole Estimation in Omnidirectional Images with Geometric Algebra. |
RobVis |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup |
Build to order linear algebra kernels. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Minh Tuan Pham, Kanta Tachibana, Eckhard M. S. Hitzer, Sven Buchholz 0001, Tomohiro Yoshikawa, Takeshi Furuhashi |
Feature extractions with geometric algebra for classification of objects. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hang Zhao, Jorge Lobo 0001, Steven M. Bellovin |
An Algebra for Integration and Analysis of Ponder2 Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Kai Hu, Yingxu Wang |
Autolearner: An Autonomic Machine Learning System Based on Concept Algebra. |
IEEE ICCI |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Frank Drewes, Johanna Högberg |
An Algebra for Tree-Based Music Generation. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Silvia Franchini, Antonio Gentile, M. Grimaudo, C. A. Hung, Sandro Impastato, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile |
A Sliced Coprocessor for Native Clifford Algebra Operations. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Serge Abiteboul |
A Calculus and Algebra for Distributed Data Management. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Kazumaro Aoki, Takeshi Shimoyama, Hiroki Ueda |
Experiments on the Linear Algebra Step in the Number Field Sieve. |
IWSEC |
2007 |
DBLP DOI BibTeX RDF |
block Lanczos, parallel computation, ethernet, integer factoring, number field sieve |
22 | Gilles Villard |
Some recent progress in exact linear algebra and related questions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Fred G. Gustavson, Jerzy Wasniewski |
Novel Data Formats and Algorithms for Dense Linear Algebra Computations: Minisymposium Abstract. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Peter Höfner, Ridha Khédri, Bernhard Möller |
Feature Algebra. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Giacomo Buratti, Danilo Montesi |
A Data Model and an Algebra for Querying XML Documents. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Thomas A. Henzinger, Slobodan Matic |
An Interface Algebra for Real-Time Components. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Lishi Zhang, Xiaodong Liu 0001 |
Concept Lattice and AFS Algebra. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Stelios Paparizos, H. V. Jagadish |
The Importance of Algebra for XML Query Processing. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Javed I. Khan, Sajid S. Shaikh |
Relationship Algebra for Computing in Social Networks and Social Network Based Applications. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Anna Maria Bigatti, Lorenzo Robbiano |
CoCoA: a system for computations in commutative algebra. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos |
Compound Term Composition Algebra: The Semantics. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
Faceted Taxonomies, Semantics, Description Logics |
22 | Tamara G. Kolda, Brett W. Bader, Joseph P. Kenny |
Higher-Order Web Link Analysis Using Multilinear Algebra. |
ICDM |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Chengkai Li 0001, Kevin Chen-Chuan Chang, Ihab F. Ilyas, Sumin Song |
RankSQL: Query Algebra and Optimization for Relational Top-k Queries. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Saïd Amari, Jean Jacques Loiseau, Isabel Demongodin |
Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Marina Issakova, Dmitri Lepp, Rein Prank |
Input Design in Interactive Learning Environment T-Algebra. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller, Georg Struth |
p Is. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jouni Järvinen, Ewa Orlowska |
Relational Correspondences for Lattices with Operators. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan A. Bergstra, Cornelis A. Middelburg |
Strong Splitting Bisimulation Equivalence. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller |
Lazy Kleene Algebra. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller, Georg Struth |
Modal Kleene Algebra and Partial Correctness. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ethan A. Croteau, Neil T. Heffernan, Kenneth R. Koedinger |
Why Are Algebra Word Problems Difficult? Using Tutorial Log Files and the Power Law of Learning to Select the Best Fitting Cognitive Model. |
Intelligent Tutoring Systems |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Luciano Gerber, Alvaro A. A. Fernandes |
An Abstract Algebra for Knowledge Discovery in Databases. |
ADBIS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Vladimir V. Kornyak |
A Method of Splitting Cochain Complexes for Computing Cohomology: Lie Algebra of Hamiltonian Vector Fields H(2|0). |
Program. Comput. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tomoko Ninomiya, Masao Mukaidono |
Complete and Independent Sets of Axioms of Boolean Algebra. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Sergey A. Inutin |
Parallel Square Modular Computer Algebra. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
Process Algebra for Agent Communication: A General Semantic Approach. |
Communication in Multiagent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Cerone |
Implementing Condition/Event Nets in the Circal Process Algebra. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Jae Young Lee, Ramez Elmasri |
A Temporal Algebra for an ER-Based Temporal Data Model. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|