Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsc/jsc11.bht:"
download as .bib file
@article{DBLP:journals/jsc/ChazarainRAB91,
author = {Jacques Chazarain and
Agust{\'{\i}}n Riscos Gonz{\'{a}}les and
Jos{\'{e}} Antonio Alonso Jimenez and
Emilio Briales Morales},
title = {Multi-Valued Logic and Gr{\"{o}}bner Bases with Applications
to Modal Logic},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {181--194},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80043-0},
doi = {10.1016/S0747-7171(08)80043-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChazarainRAB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Clausen91,
author = {Michael Clausen},
title = {Multivariate Polynomials, Standard Tableaux, and Representations of
Symmetric Groups},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {483--522},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80117-4},
doi = {10.1016/S0747-7171(08)80117-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Clausen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CohenF91,
author = {H. Ian Cohen and
John P. Fitch},
title = {Uses Made of Computer Algebra in Physics},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {291--305},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80050-8},
doi = {10.1016/S0747-7171(08)80050-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CohenF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ComonLS91,
author = {Hubert Comon and
Denis Lugiez and
Philippe Schnoebelen},
title = {A Rewrite-Based Type Discipline for a Subset of Computer Algebra},
journal = {J. Symb. Comput.},
volume = {11},
number = {4},
pages = {349--368},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80110-1},
doi = {10.1016/S0747-7171(08)80110-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ComonLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Crapo91,
author = {Henry Crapo},
title = {Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {523--548},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80118-6},
doi = {10.1016/S0747-7171(08)80118-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Crapo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Diver91,
author = {D. A. Diver},
title = {Modelling Waves with Computer Algebra},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {275--289},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80049-1},
doi = {10.1016/S0747-7171(08)80049-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Diver91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Ganzinger91,
author = {Harald Ganzinger},
title = {A Completion Procedure for Conditional Equations},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {51--81},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80132-0},
doi = {10.1016/S0747-7171(08)80132-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Ganzinger91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GentiliO91,
author = {Graziano Gentili and
Michael A. O'Connor},
title = {Rational Geometry in Space},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {213--229},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80046-6},
doi = {10.1016/S0747-7171(08)80046-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GentiliO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Havel91,
author = {Timothy F. Havel},
title = {Some Examples of the Use of Distances as Coordinates for Euclidean
Geometry},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {579--593},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80120-4},
doi = {10.1016/S0747-7171(08)80120-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Havel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurNZ91,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
title = {Automating Inductionless Induction Using Test Sets},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {81--111},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80133-2},
doi = {10.1016/S0747-7171(08)80133-2},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurNZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KounalisR91,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {On Word Problems in Horn Theories},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {113--127},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80134-4},
doi = {10.1016/S0747-7171(08)80134-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KounalisR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KrantzP91,
author = {Steven G. Krantz and
William H. Paulsen},
title = {Asymptotic Eigenfrequency Distributions for the N-Beam Euler-Bernoulli
Coupled Beam Equation with Dissipative Joints},
journal = {J. Symb. Comput.},
volume = {11},
number = {4},
pages = {369--418},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80111-3},
doi = {10.1016/S0747-7171(08)80111-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KrantzP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Laville91,
author = {Alain Laville},
title = {Comparison of Priority Rules in Pattern Matching and Term Rewriting},
journal = {J. Symb. Comput.},
volume = {11},
number = {4},
pages = {321--347},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80109-5},
doi = {10.1016/S0747-7171(08)80109-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Laville91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/McMillanW91,
author = {Tim McMillan and
Neil L. White},
title = {The Dotted Straightening Algorithm},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {471--482},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80116-2},
doi = {10.1016/S0747-7171(08)80116-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/McMillanW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Morgenstern91,
author = {Jacques Morgenstern},
title = {Invariant and Geometric Aspects of Algebraic Complexity Theory {I}},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {455--469},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80115-0},
doi = {10.1016/S0747-7171(08)80115-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Morgenstern91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PaisP91,
author = {John Pais and
Gerald E. Peterson},
title = {Using Forcing to Prove Completeness of Resolution and Paramodulation},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {3--19},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80130-7},
doi = {10.1016/S0747-7171(08)80130-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PaisP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Piquette91,
author = {Jean C. Piquette},
title = {A Method for Symbolic Evaluation of Indefinite Integrals Containing
Special Functions or their Products},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {231--249},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80047-8},
doi = {10.1016/S0747-7171(08)80047-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Piquette91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PlaistedP91,
author = {David A. Plaisted and
Richard C. Potter},
title = {Term Rewriting: Some Experimental Results},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {149--180},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80136-8},
doi = {10.1016/S0747-7171(08)80136-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PlaistedP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Ponder91,
author = {Carl Ponder},
title = {Parallel Multiplication and Powering of Polynomials},
journal = {J. Symb. Comput.},
volume = {11},
number = {4},
pages = {307--320},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80108-3},
doi = {10.1016/S0747-7171(08)80108-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Ponder91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rusinowitch91,
author = {Micha{\"{e}}l Rusinowitch},
title = {Theorem-Proving with Resolution and Superposition},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {21--49},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80131-9},
doi = {10.1016/S0747-7171(08)80131-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rusinowitch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sattler-Klein91,
author = {Andrea Sattler{-}Klein},
title = {Elimination of Composite Superpositions May Cause Abortion},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {205--211},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80045-4},
doi = {10.1016/S0747-7171(08)80045-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Sattler-Klein91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Singer91,
author = {Michael F. Singer},
title = {Liouvillian Solutions of Linear Differential Equations with Liouvillian
Coefficients},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {251--273},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80048-X},
doi = {10.1016/S0747-7171(08)80048-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Singer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Socher91,
author = {Rolf Socher},
title = {On the Relation Between Resolution Based and Completion Based Theorem
Proving},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {129--147},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80135-6},
doi = {10.1016/S0747-7171(08)80135-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Socher91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sturmfels91,
author = {Bernd Sturmfels},
title = {Computational Algebraic Geometry of Projective Configurations},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {595--618},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80121-6},
doi = {10.1016/S0747-7171(08)80121-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Sturmfels91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SturmfelsW91,
author = {Bernd Sturmfels and
Walter Whiteley},
title = {On the Synthetic Factorization of Projectively Invariant Polynomials},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {439--453},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80114-9},
doi = {10.1016/S0747-7171(08)80114-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SturmfelsW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/White91,
author = {Neil L. White},
title = {Multilinear Cayley Factorization},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {421--438},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80113-7},
doi = {10.1016/S0747-7171(08)80113-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/White91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Whiteley91,
author = {Walter Whiteley},
title = {Invariant Computations for Analytic Projective Geometry},
journal = {J. Symb. Comput.},
volume = {11},
number = {5/6},
pages = {549--578},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80119-8},
doi = {10.1016/S0747-7171(08)80119-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Whiteley91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Zeilberger91,
author = {Doron Zeilberger},
title = {The Method of Creative Telescoping},
journal = {J. Symb. Comput.},
volume = {11},
number = {3},
pages = {195--204},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80044-2},
doi = {10.1016/S0747-7171(08)80044-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Zeilberger91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-22 21:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
