Zobrazeno 1 - 10
of 131
pro vyhledávání: '"Schauss M"'
Autor:
Kays R., Cove M. V., Diaz J., Todd K., Bresnan C., Snider M., Lee T. E., Jasper J. G., Douglas B., Crupi A. P., Weiss K. C. B., Rowe H., Sprague T., Schipper J., Lepczyk C. A., Fantle-Lepczyk J. E., Davenport J., Zimova M., Farris Z., Williamson J., Fisher-Reid M. C., Rezendes D., King S. M., Chrysafis P., Jensen A. J., Jachowski D. S., King K. C., Herrera D. J., Moore S., van der Merwe M., Lombardi J. V., Sergeyev M., Tewes M. E., Horan R. V., Rentz M. S., Driver A., Brandt L. R. S. E., Nagy C., Alexander P., Maher S. P., Darracq A. K., Barr E. G., Hess G., Webb S. L., Proctor M. D., Vanek J. P., Lafferty D. J. R., Hubbard T., Jimenez J. E., McCain C., Favreau J., Fogarty J., Hill J., Hammerich S., Gray M., Rega-Brodsky C. C., Durbin C., Flaherty E. A., Brooke J., Coster S. S., Lathrop R. G., Russell K., Bogan D. A., Shamon H., Rooney B., Rockhill A., Lonsinger R. C., O'Mara M. T., Compton J. A., Barthelmess E. L., Andy K. E., Belant J. L., Petroelje T., Wehr N. H., Beyer D. E., Scognamillo D. G., Schalk C., Day K., Ellison C. N., Ruthven C., Nunley B., Fritts S., Whittier C. A., Neiswenter S. A., Pelletier R., DeGregorio B. A., Kuprewicz E. K., Davis M. L., Baruzzi C., Lashley M. A., McDonald B., Mason D., Risch D. R., Allen M. L., Whipple L. S., Sperry J. H., Alexander E., Wolff P. J., Hagen R. H., Mortelliti A., Bolinjcar A., Wilson A. M., Van Norman S., Powell C., Coletto H., Schauss M., Bontrager H., Beasley J., Ellis-Felege S. N., Wehr S. R., Giery S. T., Pekins C. E., LaRose S. H., Revord R. S., Hansen C. P., Hansen L., Millspaugh J. J., Zorn A., Gerber B. D., Rezendes K., Adley J., Sevin J., Green A. M., Sekercioglu C. H., Pendergast M. E., Mullen K., Bird T., Edelman A. J., Romero A., O'Neill B. J., Schmitz N., Vandermus R. A., Alston J. M., Kuhn K. M., Hasstedt S. C., Lesmeister D. B., Appel C. L., Rota C., Stenglein J. L., Anhalt-Depies C., Nelson C. L., Long R. A., Remine K. R., Jordan M. J., Elbroch L. M., Bergman D., Cendejas-Zarelli S., Sager-Fradkin K., Conner M., Morris G., Parsons E., Hernandez-Yanez H., McShea W. J.
Publikováno v:
ORCID
Managing wildlife populations in the face of global change requires regular data on the abundance and distribution of wild animals, but acquiring these over appropriate spatial scales in a sustainable way has proven challenging. Here we present the d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Kop, C L M & van Raamsdonk, F 2011, Higher Order Dependency Pairs for Algebraic Functional Systems . in M Schmidt-Schauß (ed.), Proc. 22th Conference on Rewriting Techniques and Applications . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, pp. 203-218, Rewriting Techniques and Applications, 1/01/11 . https://doi.org/10.4230/LIPIcs.RTA.2011.203
Proc. 22th Conference on Rewriting Techniques and Applications, 203-218
STARTPAGE=203;ENDPAGE=218;TITLE=Proc. 22th Conference on Rewriting Techniques and Applications
Proc. 22th Conference on Rewriting Techniques and Applications, 203-218
STARTPAGE=203;ENDPAGE=218;TITLE=Proc. 22th Conference on Rewriting Techniques and Applications
We extend the termination method using dynamic dependency pairs to higher order rewriting systems with beta as a rewrite step, also called Algebraic Functional Systems (AFSs). We introduce a variation of usable rules, and use monotone algebras to sol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b23e456fa1e81a34542e2dfcc3cdf62
Publikováno v:
Scopus-Elsevier
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec. Bisimilarity simplifies equivalence pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68afb57fe7028e64eb74124b61ec19d7
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7828
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7828
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.