![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc199.bht:"
@article{DBLP:journals/iandc/Baader05, author = {Franz Baader}, title = {19th International Conference on Automated Deduction {(CADE-19)}}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {1--2}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2005.02.001}, doi = {10.1016/J.IC.2005.02.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Baader05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GanzingerS05, author = {Harald Ganzinger and J{\"{u}}rgen Stuber}, title = {Superposition with equivalence reasoning and delayed clause normal form transformation}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {3--23}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.010}, doi = {10.1016/J.IC.2004.10.010}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GanzingerS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GulwaniN05, author = {Sumit Gulwani and George C. Necula}, title = {A randomized satisfiability procedure for arithmetic and uninterpreted function symbols}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {107--131}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.006}, doi = {10.1016/J.IC.2004.10.006}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GulwaniN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/HirokawaM05, author = {Nao Hirokawa and Aart Middeldorp}, title = {Automating the dependency pair method}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {172--199}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.004}, doi = {10.1016/J.IC.2004.10.004}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/HirokawaM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KonevDDFH05, author = {Boris Konev and Anatoli Degtyarev and Clare Dixon and Michael Fisher and Ullrich Hustadt}, title = {Mechanising first-order temporal resolution}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {55--86}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.005}, doi = {10.1016/J.IC.2004.10.005}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KonevDDFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KrsticC05, author = {Sava Krstic and Sylvain Conchon}, title = {Canonization for disjoint unions of theories}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {87--106}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.11.001}, doi = {10.1016/J.IC.2004.11.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KrsticC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/LutzST05, author = {Carsten Lutz and Ulrike Sattler and Lidia Tendera}, title = {The complexity of finite model reasoning in description logics}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {132--171}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.11.002}, doi = {10.1016/J.IC.2004.11.002}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/LutzST05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/MehtaN05, author = {Farhad Mehta and Tobias Nipkow}, title = {Proving pointer programs in higher-order logic}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {200--227}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.007}, doi = {10.1016/J.IC.2004.10.007}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/MehtaN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Nivelle05, author = {Hans de Nivelle}, title = {Translation of resolution proofs into short first-order proofs without choice axioms}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {24--54}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.011}, doi = {10.1016/J.IC.2004.10.011}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Nivelle05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/RiazanovV05, author = {Alexandre Riazanov and Andrei Voronkov}, title = {Efficient instance retrieval with standard and relational path indexing}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {228--252}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2004.10.012}, doi = {10.1016/J.IC.2004.10.012}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/RiazanovV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.